International Conference on integrated Formal Methods (18. : 2023 : Leiden) Bezüge im Wissensnetz Veranstaltungsort (1) GND Leiden