International Haifa Verification Conference (5 : 2009 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa