Sciweavers

BIRTHDAY
2006
Springer

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

14 years 4 months ago
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Kazuhiro Ogata, Kokichi Futatsugi
Comments (0)