@misc{indiciaeabc665a074fc,
  title = {Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program},
  author = {Sylvie Boldo and Francois Clement and Jean-Christophe Filliâtre and Micaela Mayero and Guillaume Melquiond and Pierre Weis},
  year = {2012},
  doi = {10.1007/s10817-012-9255-4},
  url = {https://arxiv.org/abs/1112.1795},
  note = {Source identifier: 1112.1795}
}