VDM Europe Keil VDM'90:VDM and Z-Formal methods in software development - International Symposium of VDM Europe Kiel(3rd:1990) (Berlin Springer verlag, 1990)
Keywords: Computer science