Title: | Mixed Abstractions for Floating-Point Arithmetic |
---|---|
Links: | Homepage Document as PDF |
Authors: | Angelo Brillout |
Daniel Kroening EMail | |
Thomas Wahl | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{bkw2009-fmcad, AUTHOR = { Brillout, Angelo and Kroening, Daniel and Wahl, Thomas }, TITLE = { Mixed Abstractions for Floating-Point Arithmetic }, BOOKTITLE = { Proceedings of FMCAD 2009 }, YEAR = { 2009 }, PUBLISHER = { IEEE }, PAGES = { 69--76 }, ISBN = { 978-1-4244-4966-8 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.