Probabilistic program analysis

Research output: Book/ReportPh.D. thesisResearch

LanguageEnglish
Place of PublicationRoskilde
PublisherRoskilde Universitet
Number of pages139
StatePublished - 2018
SeriesRoskilde Universitet. Computer Science. Computer Science Research Report
Volume151
ISSN0109-9779

Cite this

Kirkeby, M. H. (2018). Probabilistic program analysis. Roskilde: Roskilde Universitet. Roskilde Universitet. Computer Science. Computer Science Research Report, Vol.. 151
Kirkeby, Maja Hanne. / Probabilistic program analysis. Roskilde : Roskilde Universitet, 2018. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, ???volume??? 151).
@phdthesis{3a45383660c748918ec1395a175aea1c,
title = "Probabilistic program analysis",
author = "Kirkeby, {Maja Hanne}",
year = "2018",
language = "English",
publisher = "Roskilde Universitet",

}

Kirkeby, MH 2018, Probabilistic program analysis. Roskilde Universitet. Computer Science. Computer Science Research Report, vol. 151, Roskilde Universitet, Roskilde.

Probabilistic program analysis. / Kirkeby, Maja Hanne.

Roskilde : Roskilde Universitet, 2018. 139 p.

Research output: Book/ReportPh.D. thesisResearch

TY - BOOK

T1 - Probabilistic program analysis

AU - Kirkeby,Maja Hanne

PY - 2018

Y1 - 2018

M3 - Ph.D. thesis

BT - Probabilistic program analysis

PB - Roskilde Universitet

CY - Roskilde

ER -

Kirkeby MH. Probabilistic program analysis. Roskilde: Roskilde Universitet, 2018. 139 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 151).