François Bobot, Zakaria Chihani, Bruno Marre. Real Behavior of Floating Point. In Martin Brain, Liana Hadarean, editors, Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Coference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. Volume 1889 of CEUR Workshop Proceedings, pages 50-62, CEUR-WS.org, 2017. [doi]
@inproceedings{BobotCM17,
title = {Real Behavior of Floating Point},
author = {François Bobot and Zakaria Chihani and Bruno Marre},
year = {2017},
url = {http://ceur-ws.org/Vol-1889/paper5.pdf},
researchr = {https://researchr.org/publication/BobotCM17},
cites = {0},
citedby = {0},
pages = {50-62},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Coference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017},
editor = {Martin Brain and Liana Hadarean},
volume = {1889},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}