Flemming M. Damm Vis

*	1994
5		Flemming M. Damm: Subtyping with Union Types, Intersection Types and Recursive Types. TACS 1994: 687-706
	1993
4		Flemming M. Damm, Bo Stig Hansen: Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages 1993: 83-100
	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

Coauthor Index

1	Hans Bruun	[1] [2] [3]
2	Bo Stig Hansen	[1] [2] [3] [4]