@entry{yeu-you-leo-11-aa,
  author = {JHC Yeung and EFY Young and PHW Leong},
  title = {A monte-carlo floating-point unit for self-validating arithmetic},
  journal = {Proceedings of the 19th ACM ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2011,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/1950413.1950453?casa_token=I2sC_uwrQtEAAAAA:zIY8DDf9A455uwJ8ufV5xmISTFj8b75R2j4SNMg0pXJzMEunjhdjelwx5izMAH4O5UQAXPHIGkw}}},
  quotes = {... Static analysis using affine arithmetic can also be used to estimate the propagation of ... A method for static analysis of floating point error based on affine arithmetic is proposed in ...}
}