Батраков Виталий Алексеевич

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

Автоматическое доказательство формул корректности предикатной программы в системе Russell

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