... 证明验证: review 程序证明: program proofprogram proving 出口证明: export certificateexport certificationproof of export ...
基于1个网页-相关网页
program proofprogram proving
程序验证程序证明
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动