proof of program correctness
proof of program correctness是什么意思、proof of program correctness怎么读
【计】 程序正确性证明
proof of program correctness汉语翻译
【计】 程序正确性证明