English version
"program correctness proof"
перевод
Английский > Русский
Русский > Английский
Английский
Русский
program correctness proof
доказательство правильности программы