Workshop on Design, Specification, and Verification of Interactive Systems (1 : 1994 : Bocca di Magra) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bocca di Magra