Relational abstract domains for the detection of floating-point run-time errors (2004)

Cached

Download Links

by Antoine Miné
Venue:In ESOP’04, volume 2986 of LNCS
Citations:53 - 14 self