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