Maja Hanne Kirkeby
Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses
QAPL, 2019.
@inproceedings{QAPL-2019-Kirkeby, author = "Maja Hanne Kirkeby", booktitle = "{Proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems}", doi = "10.4204/EPTCS.312.4", ee = "https://arxiv.org/abs/2001.06943", pages = "43--57", title = "{Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses}", year = 2019, }