Pubblicazioni
2020 - Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019
Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma