2nd VDM Europe 1988: Dublin, Ireland

Day 1

Day 2

Applications and Tools

Foundations and Theory

Day 3

a service of Schloss Dagstuhl - Leibniz Center for Informatics