Sciweavers

Share
ENTCS
2006

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

10 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)
books