1.
Ковалев ВВ, Компаниец РИ, Новиков ВА. Верификация программ на основе соотношений подобия. Труды СПИИРАН [Интернет]. 16фев.2015 [цитируется по 22сен.2019];1(38):233-45. Available from: http://proceedings.spiiras.nw.ru/index.php/sp/article/view/3076