Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication date20 Jan 2020
DOIs
Publication statusPublished - 20 Jan 2020
Event16th Workshop on Quantitative Aspects of Programming Languages and Systems - Prague, Czech Republic
Duration: 7 Apr 20197 Apr 2019
Conference number: 16
https://conf.researchr.org/track/etaps-2019/qapl-2019-papers

Workshop

Workshop16th Workshop on Quantitative Aspects of Programming Languages and Systems
Number16
CountryCzech Republic
CityPrague
Period07/04/201907/04/2019
Internet address

Cite this