John Harrison. Floating-Point Verification. J. UCS, 13(5):629-638, 2007. [doi]
@article{Harrison07:3,
title = {Floating-Point Verification},
author = {John Harrison},
year = {2007},
url = {http://www.jucs.org/jucs_13_5/floating_point_verification},
researchr = {https://researchr.org/publication/Harrison07%3A3},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {13},
number = {5},
pages = {629-638},
}