Sylvie Boldo, Guillaume Melquiond. Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq. In Elisardo Antelo, David Hough, Paolo Ienne, editors, 20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011. pages 243-252, IEEE Computer Society, 2011. [doi]
@inproceedings{BoldoM10,
title = {Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq},
author = {Sylvie Boldo and Guillaume Melquiond},
year = {2011},
doi = {10.1109/ARITH.2011.40},
url = {http://dx.doi.org/10.1109/ARITH.2011.40},
researchr = {https://researchr.org/publication/BoldoM10},
cites = {0},
citedby = {0},
pages = {243-252},
booktitle = {20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011},
editor = {Elisardo Antelo and David Hough and Paolo Ienne},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4318-5},
}