Информатика, вычислительная техника и управление. Диссертация Методы верификации программ на основе композиции задач достижимости : диссертация ... кандидата физико-математических наук : 05.13.11 / Мордань Виталий Олегович; [Место защиты: Ин-т систем. программирования], Москва, 2017