Data flow analysis as model checking (0)

by Bernhard Steffen
Venue:In Theoretical Aspects of Computer Science