Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (3. : 2021 : Padua; Online) Bezüge im Wissensnetz Veranstaltungsort (1) GND Padua Homepage (1) GND 2021