3. VDM Europe 1990: Kiel, Germany

Invited Talks

Applications

Specification Methodology

Design Methodology

Modularity

Object Orientedness

Processes, Concurrency and Distributed Systems

Formalisations

Type Systems

Foundations

maintained by Schloss Dagstuhl LZI at University of Trier