Results 1 -
1 of
1
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 |
