A case study in object oriented speci and veri The MSMIE protocol. Master's thesis (1999)

by Dion Meyer
Venue:University of Nijmegen