规范用词程序正确性证明
英文翻译proof of program correctness
所属学科计算机科学技术 > 容错计算机和计算机可靠性
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词(第二版)》 科学出版社
公布时间2002年