Workshop on Design, Specification, and Verification of Interactive Systems (4 : 1997 : Granada) Bezüge im Wissensnetz Veranstaltungsort (1) GND Granada