Parametric shape analysis via 3-valued logic (0)

by M Sagiv, T Reps, R Wilhelm
Venue:ACM Trans. Program. Lang. Syst