Workshop on Design, Specification and Verification of Interactive Systems (6 : 1999 : Braga) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 10014476-7 Veranstaltungsort (1) GND Braga Nachfolgende Konferenz oder Veranstaltung (1) GND 10014476-7