2. VDM Europe 1988: Dublin, Ireland

Day 1

Day 2

Applications and Tools

Foundations and Theory

Day 3

maintained by Schloss Dagstuhl LZI at University of Trier