驗(yàn)證條件生成程序
英語(yǔ)翻譯
【計(jì)】 verification condition generator
分詞翻譯
驗(yàn)證條件的英語(yǔ)翻譯:
【計(jì)】 verification condition; verify condition
生成程序的英語(yǔ)翻譯:
【計(jì)】 generating program; generating routine; generation routine
【計(jì)】 verification condition generator
【計(jì)】 verification condition; verify condition
【計(jì)】 generating program; generating routine; generation routine