Constraint-based linear-relations analysis (2004)

by S Sankaranarayanan, H Sipma, Z Manna
Venue:In SAS, volume 3148 of LNCS