• Richard Petersens Plads, 324, 182

    2800 Kgs. Lyngby

    Denmark

1982 …2020

Research output per year

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

Research Output

Filter
Book
2019

Formal Methods: An Appetizer.

Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.

Research output: Book/ReportBook

2007

Semantics with Applications: An Appetizer

Nielson, H. R. & Nielson, F., 2007, Springer. (Undergraduate Topics in Computer Science).

Research output: Book/ReportBook

1999

Principles of Program Analysis

Nielson, F., Nielson, H. R. & Hankin, C. L., 1999, Springer.

Research output: Book/ReportBook

Type and Effect Systems: Behaviours for Concurrency

Amtoft, T., Nielson, F. & Nielson, H. R., 1999, IC Press.

Research output: Book/ReportBook

1992