Verifying design with proof scores. (2005)

by K Futatsugi, J A Goguen, K Ogata
Venue:of Lecture Notes in Computer Science,