formal method

形式方法

學術名詞

  • 形式方法：數學