Program analysis as model checking of abstract interpretations (0)

by D Schmidt, B Steffen
Venue:Proc. 5th Static Analysis Symposium, volume 1503 of Lecture