![](/img/cover-not-exists.png)
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms
Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Olmedo, FedericoVolume:
65
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/3208102
Date:
August, 2018
File:
PDF, 1.29 MB
english, 2018