@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},
}