Web Page of the talk:
"Generic Proof Scores for Generate & Check Method in CafeOBJ"
by Kokichi Futatsugi (JAIST)
on 26 February 2015 (Thur.)
at JAIST, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
Everyone who looks into the above page is encouraged to download and install
the latest verion (Version 1.5.3(PigNose0.99) or later)
of the CafeOBJ system
from the
web page for downloading the system
and to experiment with the CafeOBJ codes on the page.