正确性证明
更新时间：2022-03-10 20:26
正确性证明（correctness proof）是2018年公布的计算机科学技术名词。
定义
证明程序满足其规约的过程。
出处
《计算机科学技术名词 》第三版。
免责声明
隐私政策
用户协议
分享
目录
22
0
{{catalogNumber[index]}}.
{{item.title}}
{{item.title}}