ACM-IEEE International Symposium on Formal Methods and Models for System Design (21. : 2023 : Hamburg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Hamburg Homepage (1) GND memocode2023.github.io Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1321363192