Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.

Eric Goubault

Browse the full SAS paper archive.