Метод применения Теории Типов Мартина-Лёфа для верификации программных систем [2014]

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

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

Направление: Информационные технологии

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