Григорьев Савелий Алексеевич
| ФИО выпускника | Григорьев Савелий Алексеевич |
|---|---|
| Направление подготовки (специальность) | 01.03.02 Прикладная математика и информатика |
| Квалификация | Бакалавр |
| Наименование ВКР | Применение двунаправленного исполнения для вывода индуктивных инвариантов в символьной виртуальной машине KLEE |
| Статус | Опубликована |
| ФИО научного руководителя | кандидат физико-математических наук Д.А.Мордвинов |
| Год | 2023 |