International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Bezüge im Wissensnetz Als In Beziehung stehende Konferenz oder Veranstaltung beteiligt (1) GND 1279976055 Veranstaltungsort (1) GND Haifa