Program analysis via graph reachability. (1998)

by T Reps
Venue:Information and Software Technology 40(11-12),