Bo Stig Hansen

	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)

Coauthor Index

1	Hans Bruun	[2] [3] [4]
2	Flemming M. Damm	[2] [3] [4] [5]
3	Peter Gorm Larsen	[6]

Colors in the list of coauthors