- H. B. M. Jonkers:
Upgrading the Pre- and Postcondition Technique. VDM Europe (1) 1991: 428-456 - David Jordan:
CADIZ - Computer Aided Design in Z. VDM Europe (1) 1991: 685-686 - D. Kinnaes, Karel De Vlaminck:
A Debugger for a Meta-IV-like Meta-Language. VDM Europe (1) 1991: 597-603 - Peter Gorm Larsen
, Poul Bøgh Lassen:
An Executable Subset of Meta-IV with Loose Specification. VDM Europe (1) 1991: 604-618 - Gerard R. Renardel de Lavalette:
Formal Development of a Serial Copy Management System. VDM Europe (1) 1991: 477-495 - Matthew Lee, Ib Holm Sørensen:
B-Tool. VDM Europe (1) 1991: 695-696 - Lynn S. Marshall, Linda Simon:
Using VDM within an Object-Oriented Framework. VDM Europe (1) 1991: 619-628 - P. McParland, Peter Kilpatrick:
A Specification of a Complex Programming Language Statement. VDM Europe (1) 1991: 658-667 - Cornelis A. Middelburg, Gerard R. Renardel de Lavalette:
LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. VDM Europe (1) 1991: 279-308 - Robin Milner:
Concurrent Processes as Objects (Abstract). VDM Europe (1) 1991: 9 - Richard C. Moore, Peter K. D. Froome:
MURAL and SPECBOX. VDM Europe (1) 1991: 672-674 - Graeme I. P. Parkin, G. O'Neill:
Specification of the MAA Standard in VDM. VDM Europe (1) 1991: 526-544 - David A. Penny, Richard C. Holt, Michael W. Godfrey:
Formal Specification in Metamorphic Programing. VDM Europe (1) 1991: 11-30 - Nico Plat, Jan van Katwijk, Kees Pronk:
A Case for Structured Analysis/Formal Design. VDM Europe (1) 1991: 81-105 - Nico Plat, Kees Pronk, Marcel Verhoef:
The Delft VDM-SL Front-End. VDM Europe (1) 1991: 677-680 - Armand Puccetti:
The Integrated Software Development and Verification System ATES. VDM Europe (1) 1991: 629-644 - Stephan Rössig, Michael Schenke:
Specification and Stepwise Development of Communicating Systems. VDM Europe (1) 1991: 149-163 - Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
Specification and Refinement in an Integrated Database Application Environment. VDM Europe (1) 1991: 496-510 - Uwe Schmidt, Hans-Martin Hörcher:
The VDM Domain Compiler: A VDM Class Library Generator. VDM Europe (1) 1991: 675-676 - Paul Smith, Richard Keighley:
The Formal Development of a Secure Transaction Mechanism. VDM Europe (1) 1991: 457-476 - Ketil Stølen:
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. VDM Europe (1) 1991: 324-342 - Matthias Weber:
Deriving Transivity of VDM-Reification in DEVA. VDM Europe (1) 1991: 406-427 - Jeannette M. Wing, Amy Moormann Zaremski:
Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) 1991: 545-569 - Pamela Zave, Michael Jackson:
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) 1991: 511-525 - 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 1: Conference Contributions. Lecture Notes in Computer Science 551, Springer 1991, ISBN 3-540-54834-3 [contents]
