אנגלית ⇄ רוסית +

automated inference of specifications and invariants מתח
.בינה, .תִכנו	автоматизированный вывод спецификаций и инвариантов (illinois.edu Alex_Odeychuk)