Ковалев ВВ, Компаниец РИ, Новиков ВА. Верификация программ на основе соотношений подобия. ТС [Интернет]. 10мар.2015 [цитируется по 21ноя.2024];1(38):233-45. Available from: https://ia.spcras.ru/index.php/sp/article/view/3076