A new numerical abstract domain based on differencebound matrices (0)

by A MINÉ
Venue:In Proc. of the 2nd Symp. on Programs as Data Objects (PADO ’01) (2001