Verifying design with proof scores (2005)

Cached

Download Links

by Kokichi Futatsugi , Joseph A. Goguen , Kazuhiro Ogata
Venue:Proceedings, Verified Software: Theories, Tools, Experiments
Citations:2 - 0 self