Найти в Дзене
Войти
1,0×
Verifying Specifications with Proof Scores in CafeOBJ | Kokichi Futatsugi | Лекториум
4 просмотра · 13 лет назад
00:00
/
01:46:19
Лекториум
1278 подписчиков
Подписаться
3179359805.854.1777360216860.15154