Sciweavers

SAS
1992
Springer
124views Formal Methods» more  SAS 1992»
14 years 2 months ago
An Application of Abstract Interpretation to Floating Point Arithmetic
Interpretation to Floating point Arithmetic Yamine A
Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,...