@article{boldo:hal-00777605, TITLE = {{Formal verification of numerical programs: from C annotated programs to mechanical proofs}}, AUTHOR = {Boldo, Sylvie and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-00777605}, JOURNAL = {{Mathematics in Computer Science}}, PUBLISHER = {{Springer}}, VOLUME = {5}, PAGES = {377-393}, YEAR = {2011}, PDF = {https://inria.hal.science/hal-00777605/file/boldo11mcs.pdf}, HAL_ID = {hal-00777605}, HAL_VERSION = {v1}, }