Static Analyses of Floating-Point Operations (2001)

Cached

Download Links

by Eric Goubault
Venue:In SAS’01, volume 2126 of LNCS
Citations:8 - 0 self