Finite differencing of logical formulas for static analysis, in (0)

by T Reps, M Sagiv, A Loginov
Venue:Proc. of European Symposium on Programming, 2003