Статическая верификация для языка HaSCoL [2012]

Автор: Найданов Дмитрий Геннадьевич

Руководитель: Медведев Олег Валерьевич

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

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