Probabilistic program analysis

Research output: Book/ReportPh.D. thesisResearch

Original languageEnglish
Place of PublicationRoskilde
PublisherRoskilde Universitet
Number of pages139
Publication statusPublished - 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