| |
| 1994 | ||
|---|---|---|
| 5 | Flemming M. Damm: Subtyping with Union Types, Intersection Types and Recursive Types. TACS 1994: 687-706 | |
| 1993 | ||
| 4 | Flemming M. Damm, Bo Stig Hansen: Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages 1993: 83-100 | |
| 1991 | ||
| 3 | Hans Bruun, Bo Stig Hansen, Flemming M. Damm: An Approach to the Static Semantics of VDM-SL. VDM Europe (1) 1991: 220-253 | |
| 2 | Flemming M. Damm, Bo Stig Hansen, Hans Bruun: On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) 1991: 45-62 | |
| 1 | Flemming M. Damm, Hans Bruun, Bo Stig Hansen: The VDM-SL Editor and Consistency Checker. VDM Europe (1) 1991: 693-694 | |
| 1 | Hans Bruun | [1] [2] [3] |
| 2 | Bo Stig Hansen | [1] [2] [3] [4] |