日语在线翻译
查 词
プログラム証明論
日
[ぷろぐらむしょうめいろん]
[puroguramusyoumeiron]
プログラム証明論
读成：
ぷろぐらむしょうめいろん
中文：
程序校验论