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]
Abstract is missing.