Photo of Hans Henrik Løvengreen
  • Richard Petersens Plads, 322, 110

    2800 Kgs. Lyngby

    Denmark

1980 …2006

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book chapter
1982

Formalization of Database Models

Bjørner, D. & Løvengreen, H. H., 1982, Formal Specification and Software Development. p. 379-442

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

1980

Parallelism In Ada

Løvengreen, H. H., 1980, Towards a Formal Description of Ada. p. 309-432

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review