@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} }