Workshop on Design, Specification, and Verification of Interactive Systems (2 : 1995 : Toulouse) Bezüge im Wissensnetz Veranstaltungsort (1) GND Toulouse