@inproceedings{McIver_MKK_18,
    address          = {Los Angeles},
    author           = {McIver, Annabelle and Morgan, Carroll and Kaminski, Benjamin and Katoen, Joost-Pieter},
    booktitle        = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    date             = {2018-1-8},
    doi              = {https://doi.org/10.1145/3158121},
    month            = jan,
    numpages         = {35},
    paperurl         = {https://trustworthy.systems/publications/full_text/McIver_MKK_18.pdf},
    publisher        = {ACM},
    title            = {{A} new proof rule for almost-sure termination},
    volume           = {2},
    year             = {2018}
  }