Data flow analysis as model checking (1991)

by Bernhard Steffen
Venue:In TACS ’91: Proceedings of the International Conference on Theoretical Aspects of Computer Software