VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Bjorner Dines Heftet / 1990 / Engelsk
VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings Bjorner Dines Heftet / 1987 / Engelsk
