Hans Bruun

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

Hans Bruun, Dion Coumans, Mai Gehrke
Distributive Lattice-Structured Ontologies. CALCO (2009)
Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) (1991)
Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. VDM Europe (1) (1991)
Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. VDM Europe (1) (1991)