Gammelgaard, Anders
-
DAIMI Report Series Nr. 360 (1991): PB-360 Reuse of Invariants in Proofs of Implementation - Articles
Reuse of Invariants in Proofs of Implementation
Resumé PDF (English) -
DAIMI Report Series Nr. 379 (1991): PB-379 Simulation Techniques - Articles
Simulation Techniques
Resumé PDF (English)