@inproceedings{Olmedo:2015:Festschrift, author = {Joost{-}Pieter Katoen and Friedrich Gretz and Nils Jansen and Benjamin Lucien Kaminski and Federico Olmedo}, title = {Understanding Probabilistic Programs}, booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday}, pages = {15--32}, year = {2015}, series = {Lecture Notes in Computer Science}, volume = {9360}, publisher = {Springer} }