Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
Аветисян, Арутюн Ишханович. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения : диссертация ... доктора физико-математических наук : 05.13.11 / Аветисян Арутюн Ишханович; [Место защиты: Институт системного программирования РАН].- Москва, 2012.- 271 с.: ил. РГБ ОД, 71 13-1/133