Data flow analysis as model checking (1991)

by B Steffen
Venue:In Theoretical Aspects of Computer Software, LNCS 526