Verifying Specifications with Proof Scores in CafeOBJ (Kokichi...

Verifying Specifications with Proof Scores in CafeOBJ (Kokichi Futatsugi, Japan Advanced Institute of Science and Technology) | Computer Science клуб
Проверка спецификаций с помощью контрольных результатов в CafeOBJ (Кокичи Футатсуги, Японский передовой институт науки и техники) | Клуб компьютерных наук
У записи 2 лайков,
2 репостов.
Эту запись оставил(а) на своей стене Александр Смаль

Понравилось следующим людям