问题 判断题

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

答案

参考答案:

单项选择题 B1型题
判断题