@entry{dar-kun-10-aa-scala-tr,
  author = {E Darulov{\'a} and V Kuncak},
  title = {On Rigorous Numerical Computation as a Scala Library},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://infoscience.epfl.ch/record/158754}}},
  quotes = {... Indeed, if we use affine arithmetic on the same ... or affine arithmetic computation implies the correctness of our overall approach: for each operation in interval or affine arithmetic the ...}
}