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