@InProceedings{Olmedo:2016:ESOP,
  title={Weakest Precondition Reasoning for Expected Run--times of Probabilistic Programs},
  author={Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Matheja, Christoph and Olmedo, Federico},
  booktitle={Proceedings of the 25th European Symposium on Programming Languages and Systems -- ESOP 2016},
  publisher={Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {9632},
  pages={364--389},
  year={2016}
}