[1]
Appel, A.W. and Bertot, Y. 2021. C floating-point proofs layered with VST and Flocq. Journal of Formalized Reasoning. 13, 1 (Mar. 2021), 1-16. DOI:https://doi.org/10.6092/issn.1972-5787/11442.