Верификация программ на основе соотношений подобия - Ковалев, Виктор Васильевич; Компаниец, Радион Иванович; Новиков, Владимир Александрович (Труды СПИИРАН, 2015)