Modular Verification for Almost-Sure Termination of Probabilistic Programs

Publication
ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)