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