Flemming M. Damm

	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		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	Hans Bruun	[1] [2] [3]
2	Bo Stig Hansen	[1] [2] [3] [4]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page