英语 ⇄ 俄语 +

automated inference of specifications and invariants 强调
人工智能, 编程	автоматизированный вывод спецификаций и инвариантов (illinois.edu Alex_Odeychuk)