International Haifa Verification Conference (4 : 2008 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa