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