Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Miné, Antoine·2004·Lecture Notes in Computer Science
DOI 10.1007/978-3-540-24725-8_2