automatic program verification system

[计] 自动程序验证系统

※ 以上参考资料就是本英汉词典详细汇总的单词automatic program verification system的翻译英语含义，如有错漏请向我们提供反馈意见。