程序正确性证明
词语: 程序正确性证明
解释: mathematical proofs of program correctness;proof of program correctness
词典: 计算机专业汉英词典
本文链接:https://www.kkyyg.com/zh-sg/hanyingcidian/jisuanjihanying/470689.html