%0 Journal Article
%A Christophe Denis
%A Sethy Montan
%T Numerical Verification of Industrial Numerical Codes
%J ESAIM. Proceedings
%D 2012
%P 107-113
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.1051/proc/201235006/
%R 10.1051/proc/201235006
%G en
%F EP_2012_35_a6