@inproceedings{ayad:inria-00534333, TITLE = {{Multi-prover verification of floating-point programs}}, AUTHOR = {Ayad, Ali and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00534333}, BOOKTITLE = {{Fifth International Joint Conference on Automated Reasoning}}, ADDRESS = {Edinburgh, United Kingdom}, EDITOR = {J{\"u}rgen Giesl and Reiner H{\"a}hnle}, PUBLISHER = {{Springer Verlag}}, SERIES = {Lecture Notes in Artificial Intelligence}, VOLUME = {6173}, YEAR = {2010}, MONTH = Jul, PDF = {https://inria.hal.science/inria-00534333/file/main.pdf}, HAL_ID = {inria-00534333}, HAL_VERSION = {v1}, }