4. VDM Europe 1991: Noordwijkerhout, The Netherlands, Volume 2

Søren Prehn, W. J. Toetenel (Eds.): VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials. Lecture Notes in Computer Science 552 Springer 1991, ISBN 3-540-54868-8 BibTeX

@proceedings{DBLP:conf/fm/1991-2,
  editor    = {S{\o}ren Prehn and
               W. J. Toetenel},
  title     = {VDM '91 - Formal Software Development, 4th International Symposium
               of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25,
               1991, Proceedings, Volume 2: Tutorials},
  booktitle = {VDM Europe (2)},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {552},
  year      = {1991},
  isbn      = {3-540-54868-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

John V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. 1-78 BibTeX
Jim Woodcock: A Tutorial on the Refinement Calculus. 79-140 BibTeX
Jim Woodcock: The Refinement Calculus. 80-95 BibTeX
Jim Woodcock: An Introduction to Refinement in Z. 96-117 BibTeX
Jim Woodcock: Two Refinement Case Studies. 118-140 BibTeX
Mícheál Mac an Airchinnigh: Tutorial on the Irish School of the VDM. 141-237 BibTeX
Chris George: The RAISE Specification Langiage: A Tutorial. 238-319 BibTeX
Ole-Johan Dahl, Olaf Owe: Formal Development with ABEL. 320-362 BibTeX
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. 363-397 BibTeX
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen: The B-Method. 398-405 BibTeX
Donald I. Good, William D. Young: Mathematical Methods for Digital Systems Development. 406-430 BibTeX