automated proof
automated proof是什么意思、automated proof怎么读
【计】 自动验证
automated proof汉语翻译
【计】 自动验证