Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (4. : 2022 : Udine) Bezüge im Wissensnetz Veranstaltungsort (1) GND Udine Homepage (1) GND 2022 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1284515273