Home » Publication » 23026

Dettaglio pubblicazione

2016, ACTA INFORMATICA, Pages 587-619 (volume: 53)

Checking interval properties of computations (01a Articolo in rivista)

Molinari Alberto, Montanari Angelo, Murano Aniello, Perelli Giuseppe, Peron Adriano

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