Guillaume Melquiond, Raphaël Rieu-Helft. Formal Verification of a State-of-the-Art Integer Square Root. In Naofumi Takagi, Sylvie Boldo, Martin Langhammer, editors, 26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019. pages 183-186, IEEE, 2019. [doi]
@inproceedings{MelquiondR19,
title = {Formal Verification of a State-of-the-Art Integer Square Root},
author = {Guillaume Melquiond and Raphaël Rieu-Helft},
year = {2019},
doi = {10.1109/ARITH.2019.00041},
url = {https://doi.org/10.1109/ARITH.2019.00041},
researchr = {https://researchr.org/publication/MelquiondR19},
cites = {0},
citedby = {0},
pages = {183-186},
booktitle = {26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019},
editor = {Naofumi Takagi and Sylvie Boldo and Martin Langhammer},
publisher = {IEEE},
isbn = {978-1-7281-3366-9},
}