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

formal verification algorithms מתח
.תִכנו	алгоритмы формальной верификации (ssn)