TY  - RPRT
TI  - Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program
AU  - Sylvie Boldo
AU  - Francois Clement
AU  - Jean-Christophe Filliâtre
AU  - Micaela Mayero
AU  - Guillaume Melquiond
AU  - Pierre Weis
PY  - 2012
DO  - 10.1007/s10817-012-9255-4
UR  - https://arxiv.org/abs/1112.1795
ID  - 1112.1795
ER  -