formalized computer program
formalized computer program是什么意思、formalized computer program怎么读
【计】 形式化计算机程序
formalized computer program汉语翻译
【计】 形式化计算机程序