Program analysis as model checking of abstract interpretations (1998)

by D Schmidt, B Steffen
Venue:In Proc. of Static Analysis Symposium (SAS’98