英语 ⇄ 俄语 德语 瑞典语 芬兰语 +

program proving 强调
信息技术	доказательство правильности программ

program proving : 7 短语, 4 学科

信息技术	2
畜牧业	2
自动化设备	1
马卡罗夫	2