Костюков Юрий Олегович
| ФИО выпускника | Костюков Юрий Олегович |
|---|---|
| Направление подготовки (специальность) | 09.03.04 Программная инженерия |
| Квалификация | Бакалавр |
| Наименование ВКР | Композициональная верификация программ с динамической памятью на основе дизъюнктов Хорна |
| Статус | Нет согласия на публикацию |
| ФИО научного руководителя | Д.А.Мордвинов |
| Год | 2019 |