Photo of Maja Hanne Kirkeby
  • Universitetsvej 1, 10.1

    DK-4000 Roskilde

    Denmark

20142020

Research output per year

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

Research Output

Filter
Ph.D. thesis
2018

Probabilistic program analysis

Kirkeby, M. H., 2018, Roskilde: Roskilde Universitet. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 151).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File