A new proof rule for almost-sure termination

ACM (2018) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Proceedings of the ACM on Programming Languages
Band: 2
Seite(n): 33:1-33:28

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern