| |
| 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 | Flemming M. Damm | [1] [2] [3] |
| 2 | Bo Stig Hansen | [1] [2] [3] |