英语 ⇄ 中文 乌克兰语 俄语 +

program proof 强调
计算	доказательство правильности программы

program proof : 15 短语, 7 学科

一般	1
信息安全	1
信息技术	8
安全系统	1
空间	1
纳米技术	1
编程	2