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

DOI: 10.1007/s00236-015-0250-1
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma