Maja Hanne Kirkeby - Research output - Roskilde University Research Portal

View Scopus Profile

Phone+45 4674 2515
Emailmajahtrucdk

Universitetsvej 1, 44.2
DK-4000 Roskilde
Denmark

12 Article in proceedings
4 Journal article
2 Net publication - Internet publication
1 Report
More

1 results

Filter

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/Report › Ph.D. thesis

Open Access
File