英语词汇“automatic program verification”的音标、翻译、中文意思、用法、释义-英汉双解词典

词汇	automatic program verification
释义	automatic program verification自动程式验证
随便看	biased partitioning biasedness BHK 21 cells biaryls biarylpropylsulfonamids Bi58 Bhagwānpur bianchi valve biased number Bhudan Bi-58 Bianchi's valves biarticular arthroplasty bianchite biased perceptions of out-group biaryl synthesis Bialobrzegi Bi 58 Bialogard Bianco bially BHK-21 cells Bianco, Corno bialon -bia