International Haifa Verification Conference (2 : 2006 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa