%0 Journal Article %1 journals/pacmpl/BatzKKM21 %A Batz, Kevin %A Kaminski, Benjamin Lucien %A Katoen, Joost-Pieter %A Matheja, Christoph %D 2021 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-30 %T Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#BatzKKM21 %V 5

@article{journals/pacmpl/BatzKKM21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Batz, Kevin and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Matheja, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/25e54d2fa2798f96415ebe167002d9117/dblp}, ee = {https://doi.org/10.1145/3434320}, interhash = {a372c6e98c2393efb98fd3fc795644ad}, intrahash = {5e54d2fa2798f96415ebe167002d9117}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-30}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#BatzKKM21}, volume = 5, year = 2021 }