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

автоматизация доказательства правильности программ מתח
.תִכנו	automation of proofs (корпорации AdaCore Alex_Odeychuk)