@misc{indiciaeec91542f9e61,
  title = {Interval Slopes as Numerical Abstract Domain for Floating-Point Variables},
  author = {Alexandre Chapoutot},
  year = {2010},
  doi = {10.1007/978-3-642-15769-1\_12},
  url = {https://arxiv.org/abs/1004.0202},
  note = {Source identifier: 1004.0202}
}