Композициональная верификация программ с динамической памятью на основе дизъюнктов Хорна [2019]

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

Руководитель: Мордвинов Дмитрий Александрович

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

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