Информатика, вычислительная техника и управление. Диссертация Исследование и разработка методики автоматического обнаружения уязвимостей в исходном коде программ на языке Си : диссертация ... кандидата физико-математических наук : 05.13.11, Москва, 2006