R.: Parametric shape analysis via 3-valued logic (2002)

by S Sagiv, T W Reps, Wilhelm
Venue:ACM Trans. Program. Lang. Syst