default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > VDM Europe

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fm/1991-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1991-2
Søren Prehn, W. J. Toetenel:
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
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GuttagH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GuttagH91
John V. Guttag, James J. Horning:
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. 1-78
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Woodcock91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91
Jim Woodcock:
A Tutorial on the Refinement Calculus. 79-140
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fm/Woodcock91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91a
Jim Woodcock:
The Refinement Calculus. 80-95
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fm/Woodcock91b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91b
Jim Woodcock:
An Introduction to Refinement in Z. 96-117
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fm/Woodcock91c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Woodcock91c
Jim Woodcock:
Two Refinement Case Studies. 118-140
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Airchinnigh91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Airchinnigh91
Mícheál Mac an Airchinnigh:
Tutorial on the Irish School of the VDM. 141-237
- view
  authority control:
- export record
  dblp key:
  - conf/fm/George91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/George91
Chris George:
The RAISE Specification Langiage: A Tutorial. 238-319
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DahlO91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DahlO91
Ole-Johan Dahl, Olaf Owe:
Formal Development with ABEL. 320-362
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Krieg-BrucknerKLT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Krieg-BrucknerKLT91
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. 363-397
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AbrialLNSS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AbrialLNSS91
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen:
The B-Method. 398-405
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GoodY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GoodY91
Donald I. Good, William D. Young:
Mathematical Methods for Digital Systems Development. 406-430

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.