Verifying design with proof scores (2005)

by Kokichi Futatsugi, Joseph Goguen, Kazuhiro Ogata
Venue:Proceedings, Verified Software: Theories, Tools, Experiments