@entry{lec-rou-lib-mar-09-aa,
  author = {J Leconte and S Le Roux and L Liberti and F Marinelli},
  title = {Code verification by static analysis: a mathematical programming approach},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.academia.edu/download/67121946/2376.pdf}}},
  quotes = {... affine arithmetic, we get a MILP that we can solve exactly. If the computer program has integer non-affine arithmetic, ... If the computer program has floating point affine arithmetic, we can ...}
}