ЗУБОВ Максим Валерьевич

МОДЕЛИ И АЛГОРИТМЫ УНИВЕРСАЛЬНЫХ ПРОМЕЖУТОЧНЫХ ПРЕДСТАВЛЕНИЙ ДЛЯ СТАТИЧЕСКОГО АНАЛИЗА ПОТОКА УПРАВЛЕНИЯ ПРОГРАММ ПО ИХ ИСХОДНОМУ КОДУ

05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Дата защиты: 17 июня 2016 года

Документ Дата размещения
Автореферат диссертации на соискание ученой степени кандидата технических наук 15.04.2016