programming correctness proof

programming correctness proof是什么意思、programming correctness proof怎么读
【计】 程序正确性证明

programming correctness proof汉语翻译

【计】 程序正确性证明