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

Группа: 
7113
Статус: 
Бакалавр
Тема работы: 

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

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