Program verification with the risc proofnavigator (2006)

by W Schreiner
Venue:In Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting