Angielski ⇄ Rosyjski +

verification condition generation akcenty
technol.	генерирование условий верификации (при доказательстве правильности программ)