TY  - RPRT
TI  - A new rule for almost-certain termination of probabilistic- and demonic programs
AU  - Annabelle McIver
AU  - Carroll Morgan
PY  - 2017
UR  - https://arxiv.org/abs/1612.01091
ID  - 1612.01091
ER  -