Steffen, Bernhard
-
DAIMI Report Series No. 325 (1990): PB-325 Data flow analysis as model checking - Articles
Data flow analysis as model checking
Abstract PDF -
DAIMI Report Series No. 328 (1990): PB-328 Compositional Characterization of Observable Program Properties - Articles
Compositional Characterization of Observable Program Properties
Abstract PDF