Skip to content

Static Analysis of Finite Precision Computations.

Eric Goubault, Sylvie Putot

VenueBVMCAI
Year2011
ProceedingsVMCAI

Browse the full VMCAI paper archive.