Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Flemming M. Damm

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1994
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacs/Damm94
- ask others
Flemming M. Damm: Subtyping with Union Types, Intersection Types and Recursive Types. TACS 1994: 687-706
1993
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sosl/DammH93
- ask others
Flemming M. Damm, Bo Stig Hansen: Generation of Proof Obligations for Type Consistency. Semantics of Specification Languages 1993: 83-100
1991
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/DammHB91
- ask others
Flemming M. Damm, Bo Stig Hansen, Hans Bruun: On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) 1991: 45-62
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/BruunHD91
- ask others
Hans Bruun, Bo Stig Hansen, Flemming M. Damm: An Approach to the Static Semantics of VDM-SL. VDM Europe (1) 1991: 220-253
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fm/DammBH91
- ask others
Flemming M. Damm, Hans Bruun, Bo Stig Hansen: The VDM-SL Editor and Consistency Checker. VDM Europe (1) 1991: 693-694

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?