3rd VDM Europe 1990: Kiel, Germany

Refine list

showing all ?? records

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