结构程序验证是什么意思、英文翻译及中文解释 本文已影响 80人 结构程序验证ing-bottom: 100%;"> 词语: 结构程序验证解释: constructive program verification词典: 计算机专业汉英词典