Компиляция сертифицированных F*-программ в робастные Web-приложения [2017]

Автор: Полубелова Марина Игоревна

Руководитель: Григорьев Семен Вячеславович

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

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