| |
| 1996 | ||
|---|---|---|
| 6 | Peter Gorm Larsen, Bo Stig Hansen: Semantics of Under-determined Expressions. Formal Asp. Comput. 8(1): 47-66 (1996) | |
| 1993 | ||
| 5 | Flemming M. Damm, Bo Stig Hansen: Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages 1993: 83-100 | |
| 1991 | ||
| 4 | Hans Bruun, Bo Stig Hansen, Flemming M. Damm: An Approach to the Static Semantics of VDM-SL. VDM Europe (1) 1991: 220-253 | |
| 3 | Flemming M. Damm, Bo Stig Hansen, Hans Bruun: On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) 1991: 45-62 | |
| 2 | Flemming M. Damm, Hans Bruun, Bo Stig Hansen: The VDM-SL Editor and Consistency Checker. VDM Europe (1) 1991: 693-694 | |
| 1990 | ||
| 1 | Bo Stig Hansen: A Function-based Formatting Model. Electronic Publishing 3(1): 3-28 (1990) | |
| 1 | Hans Bruun | [2] [3] [4] |
| 2 | Flemming M. Damm | [2] [3] [4] [5] |
| 3 | Peter Gorm Larsen | [6] |