Program analysis via graph reachability (1998)

by Thomas Reps
Venue:Information and Software Technology