Pubblicazioni
2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Bottoni, P.; De Nicola, R.; Gorla, D.
2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E.
2020 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
2017 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Maggi, Alessandro; Petrocchi, Marinella; SPOGNARDI, Angelo; Tiezzi, Francesco