International Haifa Verification Conference (3 : 2007 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa