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

high-level verification language מתח
.תְעוּ	высокоуровневый алгоритмический язык для реализации функций проверки