Verifying Specifications with Proof Scores in CafeOBJ

Партнёр:

Предмет:

Лектор:Kokichi Futatsugi Конференция:

  • Computer Science семинар (Весна 2012)

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