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