VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Dines Bjørner C. A. R. Hoare Hans Langmaack VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings VDM Europe Lecture Notes in Computer Science 428 Springer 1990 3-540-52513-0 db/conf/fm/vdme1990.html