Методы статического анализа для поиска дефектов в исполняемом коде программ
Асланян Айк Каренович. Методы статического анализа для поиска дефектов в исполняемом коде программ: диссертация ... кандидата Физико-математических наук: 05.13.11 / Асланян Айк Каренович;[Место защиты: ФГБУН Институт системного программирования им. В.П. Иванникова Российской академии наук], 2019