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

题目

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


相似考题
参考答案和解析
正确答案:错误