Workshop on Artificial Intelligence and Formal Verification, Logic, Automata and Synthesis (1. : 2019 : Rende) Bezüge im Wissensnetz Veranstaltungsort (1) GND Rende Homepage (1) GND 2019