verification condition generator
verification condition generator是什么意思、verification condition generator怎么读
【计】 验证条件生成程序
verification condition generator汉语翻译
【计】 验证条件生成程序