constant weakest pre-condition
constant weakest pre-condition是什么意思、constant weakest pre-condition怎么读
【计】 恒最弱前置条件
constant weakest pre-condition汉语翻译
【计】 恒最弱前置条件