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