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