Асланян А.К. Методы статического анализа для поиска дефектов в исполняемом коде программ : специальность 05.13.11 - "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / А. К. Асланян, 2019. - 24 с. - Текст : непосредственный.