Publications

Publications for Carroll Morgan

2018
DOI
[bibtex]
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A New Proof Rule for Almost-Sure Termination. PACMPL 2(Proc. of the 45th Symposium on Principles of Programming Languages (POPL 2018)), pages 33:1-33:28, 2018.
Show all