Pubblicazioni

On checking equivalence of simulation scripts

2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

Tribute to Anna Labella

2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Bottoni, P.; De Nicola, R.; Gorla, D.

On checking equivalence of simulation scripts

2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma