Proof Scores in the OTS/CafeOBJ method (2003)

Cached

Download Links

by Kazuhiro Ogata , Kokichi Futatsugi , Nec Software Hokuriku
Venue:In Proc. of The 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of LNCS
Citations:13 - 10 self