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

a service of Schloss Dagstuhl - Leibniz Center for Informatics