A Library for Scalable Constraint-Based Program Analysis (1999)

by M Bane Fahndrich