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

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