proof of program correctness
词典收录
美式发音
英式发音
单词级别
高级
英文单词: | proof of program correctness |
---|---|
中文翻译: | [计] 程序正确性证明 |