Kokichi Futatsugi;Jean-Pierre Jouannaud;José Meseguer
-;-;-
Fostering proof scores in CafeOBJ
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering