Juan José Falcón

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Yamine Aït Ameur, Patrice Cros, Juan José Falcón, Alicia Gómez
An Application of Abstract Interpretation to Floating Point Arithmetic. WSA (1992)