Probabilistic program analysis

Research output: Book/ReportPh.D. thesis

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