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

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

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

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