[计]
proof of program correctness
... 程序正确性检查 program validation; 程序正确性证明 proof of program correctness; 程序执行 program execution; ...
基于40个网页-相关网页
[计]
program correctness proof
... 程序正确性 program correctness 程序正确性证明 program correctness proof 程序证明 program certification ...
基于6个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress