Макаров, Евгений Маратович, Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского" (ННГУ), Россия
-
XIV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - Научное программное обеспечение в образовании и науке
Знакомство с формальными методами с помощью изучения системы интерактивных доказательств Coq
Реферат