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

Группа: 
5115
Статус: 
Магистр
Тема работы: 

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

Научный руководитель : 
Ануреев Игорь Сергеевич
Рецензент: 
к.ф.-м.н Мурзин Ф.А., зав. лаб. ИСИ СО РАН
Дата защиты: 
9 июня 2011 года
ГАК: 
2 - 1 подкомиссия
Оценка государственной аттестационной комиссии: 
Отлично
Рекомендации: 
Аспирантура