Workshop on Design, Specification, and Verification of Interactive Systems (5 : 1998 : Abingdon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Abingdon