@misc{indiciaecbc4e3043383,
  title = {Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs},
  author = {Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Federico Olmedo},
  year = {2017},
  url = {https://arxiv.org/abs/1601.01001},
  note = {Source identifier: 1601.01001}
}