Введение в язык формальной верификации Coq. Лекция 1

Партнёр:

Предмет:

Лектор:Антон Трунов

Курс лекций: Введение в язык формальной верификации Coq

Авторизация
*
*
Регистрация
*
*
*
Генерация пароля