Использование proof assistants для описания операционных семантик [2013]

Автор: Таран Кирилл Сергеевич

Руководитель: Булычев Дмитрий Юрьевич

Направление: Математическое обеспечение и администрирование информационных систем (бакалавриат)

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