proof of program
proof of program是什么意思、proof of program怎么读
【计】 程序证明
proof of program汉语翻译
【计】 程序证明