Title: | Sound Numerical Computations in Abstract Acceleration |
---|---|
Links: | Homepage Document as PDF |
Authors: | Dario Cattaruzza |
Alessandro Abate | |
Peter Schrammel | |
Daniel Kroening | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{cask2017, AUTHOR = { Cattaruzza, Dario and Abate, Alessandro and Schrammel, Peter and Kroening, Daniel }, TITLE = { Sound Numerical Computations in Abstract Acceleration }, BOOKTITLE = { Numerical Software Verification (NSV) }, YEAR = { 2017 }, PUBLISHER = { Springer }, PAGES = { 197--206 }, SERIES = { LNCS }, VOLUME = { 10381 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.