Sylvie Putot Eric Goubault Matthieu Martel Static Analysis-Based Validation of Floating-Point Computations. 306-313 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2991&spage=306 2003 conf/dagstuhl/2003ns Numerical Software with Result Verification db/conf/dagstuhl/ns2003.html#PutotGM03