Semantics-directed program analysis: A tool-maker’s perspective (1996)

by Flemming Nielson
Venue:In Static Analysis (SAS ’96), 3rd International Symposium