1. VDM Europe 1987: Brussels, Belgium

VDM Experience

Use

Development Methods

VDM Environments

Foundations I

Specifications

Foundations II

Standardisation Issues

A Case Study

Tutorial Papers