Parametric shape analysis via 3-valued logic (2002)

by Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
Venue:ACM TOPLAS