DMCA

Program verification with the risc proofnavigator (2006)

by Wolfgang Schreiner
Venue:In Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting
Citations:2 - 1 self