A new proof rule for almost-sure termination

ACM (2018) [Contribution to a conference proceedings, Journal Article]

Proceedings of the ACM on Programming Languages
Volume: 2
Page(s): 33:1-33:28

Authors

Authors

McIver, Annabelle
Morgan, Carroll
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter

Identifier