Numerical Verification of Industrial Numerical CodesChristophe Denis and Sethy MontanESAIM: Proc., 35 (2012) 107-113DOI: https://doi.org/10.1051/proc/201235006
