Hans Bruun

	2009
4		Hans Bruun, Dion Coumans, Mai Gehrke: Distributive Lattice-Structured Ontologies. CALCO 2009: 267-283
	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

Coauthor Index

1	Dion Coumans	[4]
2	Flemming M. Damm	[1] [2] [3]
3	Mai Gehrke	[4]
4	Bo Stig Hansen	[1] [2] [3]

Colors in the list of coauthors