Guided static analysis. (2007)

by D Gopan, T W Reps
Venue:In Static Analysis Symposium, SAS’07,