问题 判断题

程序正确性证明能证明程序的功能和动态特性符合设计要求.

答案

参考答案:

判断题
问答题