@misc{indiciaefc3f7cb9252d,
  title = {A non-local method for robustness analysis of floating point programs},
  author = {Ivan Gazeau and Dale Miller and Catuscia Palamidessi},
  year = {2012},
  doi = {10.4204/eptcs.85.5},
  url = {https://arxiv.org/abs/1202.0693},
  note = {Source identifier: 1202.0693}
}