Pubblicazioni
2017 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco
2015 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DE NICOLA, Rocco; Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco