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

reasoning about correctness מתח
.תִכנו	обоснование правильности (напр., алгоритма ssn)