International Workshop Tool Support for System Specification, Development, and Verification (3 : 1998 : Malente) Bezüge im Wissensnetz Veranstaltungsort (1) GND Malente