Pubblicazioni
2021 - CEUR Workshop Proceedings
2021 - CEUR Workshop Proceedings
2021 - BIOINFORMATICS
Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B
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.