Workshop on Formal Design Methods for CAD (1994 : Tallinn) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tallinn