TY  - JOUR
AU  - Christophe Denis
AU  - Sethy Montan
TI  - Numerical Verification of Industrial Numerical Codes
JO  - ESAIM. Proceedings
PY  - 2012
SP  - 107
EP  - 113
VL  - 35
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1051/proc/201235006/
DO  - 10.1051/proc/201235006
LA  - en
ID  - EP_2012_35_a6
ER  -