Workshop on Design, Specification, and Verification of Interactive Systems (3 : 1996 : Namur) Bezüge im Wissensnetz Veranstaltungsort (1) GND Namur