3rd 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, founded at University of Trier