Атучин Михаил Михайлович

Группа:

5115

Статус:

Магистр

Тема работы:

Универсальный метагенератор условий корректности и его применение для верификации С-программ

Научный руководитель :

Рецензент:

к.ф.-м.н Мурзин Ф.А., зав. лаб. ИСИ СО РАН

Дата защиты:

9 июня 2011 года

ГАК:

2 - 1 подкомиссия

Оценка государственной аттестационной комиссии:

Отлично

Рекомендации:

Аспирантура

Кафедра программирования