英语 ⇄ 中文 俄语 德语 瑞典语 英语 +

formal method 强调
数学	формальный метод
英语 词库
Formal Methods
缩写	FM (Alex Lilo)

Formal Method : 6 短语, 4 学科

人工智能	1
畜牧业	1
编程	2
马卡罗夫	2