[计]?部分正确性证明
... proof of program correctness程序正确性证明... partial correctness proof部分正确性证明... correctness-oriented programming面向正确性的程序设计...
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。