Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan. A Parameterized Floating-Point Formalizaton in HOL Light. Electronic Notes in Theoretical Computer Science, 317:101-107, 2015. [doi]
@article{JacobsenSG15,
title = {A Parameterized Floating-Point Formalizaton in HOL Light},
author = {Charles Jacobsen and Alexey Solovyev and Ganesh Gopalakrishnan},
year = {2015},
doi = {10.1016/j.entcs.2015.10.010},
url = {http://dx.doi.org/10.1016/j.entcs.2015.10.010},
researchr = {https://researchr.org/publication/JacobsenSG15},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {317},
pages = {101-107},
}