%0 Journal Article %1 journals/jfrea/AppelB20 %A Appel, Andrew W. %A Bertot, Yves %D 2020 %J J. Formaliz. Reason. %K dblp %N 1 %P 1-16 %T C floating-point proofs layered with VST and Flocq. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea13.html#AppelB20 %V 13

@article{journals/jfrea/AppelB20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Appel, Andrew W. and Bertot, Yves}, biburl = {https://www.bibsonomy.org/bibtex/28cd6e3a2e2a6e1b6c832c99100d97ffe/dblp}, ee = {https://doi.org/10.6092/issn.1972-5787/11442}, interhash = {e17c5b25571660a5e1c27cb11d0c0b4f}, intrahash = {8cd6e3a2e2a6e1b6c832c99100d97ffe}, journal = {J. Formaliz. Reason.}, keywords = {dblp}, number = 1, pages = {1-16}, timestamp = {2024-04-08T20:52:52.000+0200}, title = {C floating-point proofs layered with VST and Flocq.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea13.html#AppelB20}, volume = 13, year = 2020 }