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

by M BANE Fähndrich
Venue:University of California, Berkeley