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