Чушкин Михаил Сергеевич

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

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

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