International Conference on Computer Aided Verification (37. : 2025 : Zagreb) Bezüge im Wissensnetz Veranstaltungsort (1) GND Zagreb