形式方法

[xíng shì fāng fǎ]

• formal approach
• formal method

参考释义

形式方法

• -