>
automatic program verification system
词语: automatic program verification system
解释: 自动程序验证系统
词典: 海运专业英汉词典