@misc{thiminhtuyen:inria-00536135, TITLE = {{Formal proofs of numerical programs}}, AUTHOR = {Thi Minh Tuyen, Nguyen and Boldo, Sylvie and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00536135}, NOTE = {Poster}, HOWPUBLISHED = {{Forum Digit{\'e}o}}, YEAR = {2010}, MONTH = Oct, PDF = {https://inria.hal.science/inria-00536135/file/posterDIGITEO.pdf}, HAL_ID = {inria-00536135}, HAL_VERSION = {v1}, }