Російська ⇄ Англійська

доказательство корректности наголоси
прогр.	correctness argument (ssn)
доказательства корректности
прогр.	correctness arguments (ssn)

доказательство корректности: 8 фраз в 3 тематиках

Комп'ютери	1
Програмне забезпечення	3
Програмування	4