Web Page for the Talk:
Fostering Proof Scores in CafeOBJ
by FUTATSUGI,Kokichi
at Sinaia Workshop on Algebraic Specification
on 1 March 2011 in Sinaia, Romania

Slides for the talk (pdf file)
CafeOBJ Codes for the Talk