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
Report
1991

Base System Verification

Gammelgaard, A., Løvengreen, H. H., Rump, C. Ø. & Søgaard-Andersen, J. F., 1991, Department of Computer Science, Technical University of Denmark.

Research output: Book/ReportReport

1981

Metodikker og værktøjer til konstruktion af programmel (KOMET)

Løvengreen, H. H., Bjorner, D., Molich, R., Parbst, F., Pedersen, G. S. & Pedersen, J. S., 1981, Dansk Datamatik Center.

Research output: Book/ReportReport