English version
"loop invariant analysis"
перевод
Английский > Русский
Русский > Английский
Английский
Русский
loop invariant analysis
анализ инвариантов цикла