Kokichi Futatsugi
Профессор Исследовательского центра Японского института науки и технологий.
Курсы лекций
1Computer Science семинар (Весна 2012)
Запись автора: Verifying Specifications with Proof Scores in CafeOBJ
8 лекций · Cesare Pautasso и ещё 6