@entry{dar-kun-maj-sah-13-aa-polev,
  author = {E Darulova and V Kuncak and R Majumdar...},
  title = {Synthesis of fixed-point programs},
  journal = {2013 Proceedings of the ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6658600/}}},
  quotes = {... , we use a static analysis based on affine arithmetic to compute an upper bound on the error. ... limitations in using static analysis based on affine-arithmetic, but our search method works ...}
}