Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening. Sound Numerical Computations in Abstract Acceleration. In Alessandro Abate, Sylvie Boldo, editors, Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Volume 10381 of Lecture Notes in Computer Science, pages 38-60, Springer, 2017. [doi]
@inproceedings{CattaruzzaASK17,
title = {Sound Numerical Computations in Abstract Acceleration},
author = {Dario Cattaruzza and Alessandro Abate and Peter Schrammel and Daniel Kroening},
year = {2017},
doi = {10.1007/978-3-319-63501-9_4},
url = {https://doi.org/10.1007/978-3-319-63501-9_4},
researchr = {https://researchr.org/publication/CattaruzzaASK17},
cites = {0},
citedby = {0},
pages = {38-60},
booktitle = {Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]},
editor = {Alessandro Abate and Sylvie Boldo},
volume = {10381},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-63501-9},
}