International Haifa Verification Conference (6 : 2010 : Haifa) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 1027456561 Veranstaltungsort (1) GND Haifa Nachfolgende Konferenz oder Veranstaltung (1) GND 1027456561