Skip to content

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

Antoine Min

VenueAESOP
Year2004
ProceedingsESOP

Browse the full ESOP paper archive.