1st VDM Europe 1987: Brussels, Belgium

Refine list

showing all ?? records

VDM Experience

Use

Development Methods

VDM Environments

Foundations I

Specifications

Foundations II

Standardisation Issues

A Case Study

Tutorial Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics