partial correctness proof
partial correctness proof是什么意思、partial correctness proof怎么读
【计】 部分正确性证明
partial correctness proof汉语翻译
【计】 部分正确性证明