Sciweavers

ENTCS
2006

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

13 years 11 months ago
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
Comments (0)