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

formal methods in software engineering מתח
.תוֹכנ	формальные методы инженерии программного обеспечения (Alex_Odeychuk)