Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

(2018) [Fachzeitschriftenartikel]

Journal of the ACM : JACM
Band: 65
Ausgabe: 5
Seite(n): 30:1-30:68

Autorinnen und Autoren

Autorinnen und Autoren

Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
Olmedo, Federico

Identifikationsnummern