88单词
词典收录词

constant weakest pre-condition

[计] 恒最弱前置条件

发音使用有道词典音频接口;音频不可用时自动回退到浏览器语音。