结构程序验证
词语: 结构程序验证
解释: constructive program verification
词典: 计算机专业汉英词典
本文链接:https://www.yyxkb.com/zh-cn/hanyingcidian/jisuanjihanying/472121.html