ACM-IEEE International Symposium on Formal Methods and Models for System Design (22. : 2024 : Raleigh, NC) Bezüge im Wissensnetz Veranstaltungsort (1) GND Raleigh, NC Homepage (1) GND memocode2024.github.io Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1350384194