partial correctness proof的意思|示意

部分正确性证明 ... proof of program correctness程序正确性证明... partial correctness proof部分正确性证明... correctness-oriented programming面向正确性的程序设计...

翻译 ... phocomelus翻译 *[fәu'kɒmilәs] n. 海豹肢畸形 【医】 短肢畸形, 海豹肢畸形 partial cataract翻译 【医】 部分内障 partial correctness proof翻译 【计】 部分正确性证明 ...