Checking interval properties of computations
Molinari, Alberto, Montanari, Angelo, Murano, Aniello, Perelli, Giuseppe, Peron, AdrianoVolume:
53
Language:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-015-0250-1
Date:
October, 2016
File:
PDF, 1.00 MB
english, 2016