dblp.uni-trier.de www.uni-trier.de

1. VDM Europe 1987: Brussels, Belgium

Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252 Springer 1987, ISBN 3-540-17654-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

VDM Experience

Use

Development Methods

VDM Environments

Foundations I

Specifications

Foundations II

Standardisation Issues

A Case Study

Tutorial Papers

Copyright © Thu Nov 12 00:33:48 2009 by Michael Ley (ley@uni-trier.de)