![]() |
| * | 2009 | |
|---|---|---|
| 4 | EE | Hans Bruun, Dion Coumans, Mai Gehrke: Distributive Lattice-Structured Ontologies. CALCO 2009: 267-283 |
| 1991 | ||
| 3 | EE | Hans Bruun, Bo Stig Hansen, Flemming M. Damm: An Approach to the Static Semantics of VDM-SL. VDM Europe (1) 1991: 220-253 |
| 2 | EE | Flemming M. Damm, Bo Stig Hansen, Hans Bruun: On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) 1991: 45-62 |
| 1 | EE | Flemming M. Damm, Hans Bruun, Bo Stig Hansen: The VDM-SL Editor and Consistency Checker. VDM Europe (1) 1991: 693-694 |
| 1 | Dion Coumans | [4] |
| 2 | Flemming M. Damm | [1] [2] [3] |
| 3 | Mai Gehrke | [4] |
| 4 | Bo Stig Hansen | [1] [2] [3] |