A case study in object oriented specification and verification: The MSMIE protocol. Master's thesis, Katholieke Universiteit Nijmegen (1999)

by Dion Meyer
Venue:Computer Aided Verification, number 1102 in Lecture Notes in Computer Science