Автоматический вывод регулярных инвариантов программ с алгебраическими типами данных [2021]

Автор: Костюков Юрий Олегович

Руководитель: Кознов Дмитрий Владимирович

Направление: Программная инженерия (магистратура)

К архиву практик и ВКР