Синагатуллин Рустам Рашитович

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

Метагенерация условий корректности на основе специализированных систем переходов и символического метода верификации финитных итераций

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