@misc{indiciaee31fef28c440,
  title = {Trusting Computations: a Mechanized Proof from Partial Differential Equations to Actual Program},
  author = {Sylvie Boldo and François Clément and Jean-Christophe Filliâtre and Micaela Mayero and Guillaume Melquiond and Pierre Weis},
  year = {2014},
  url = {https://arxiv.org/abs/1212.6641},
  note = {Source identifier: 1212.6641}
}