@inproceedings{simon05relational, author = {A. Simon}, title = {Relational {A}nalysis of {F}loating-{P}oint {A}rithmetic}, booktitle = {Workshop on Numerical and Symbolic Abstract Domains}, year = 2005, address = {Paris, France}, }