Workshop on Artificial Intelligence and Formal Verification, Logic, Automata and Synthesis (5. : 2023 : Rom) Bezüge im Wissensnetz Veranstaltungsort (1) GND Rom Homepage (1) GND 2023 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1313838403