问题 填空题

程序正确性证明是用______来证明程序正确性的方法。

答案

参考答案:数学的方法

单项选择题
不定项选择