A new numerical abstract domain based on difference-bound matrices (2001)

Cached

Download Links

by Antoine Miné
Venue:In PADO II, volume 2053 of LNCS
Citations:61 - 11 self