"Weakest Precondition Reasoning for Expected Run-Times of Probabilistic ..."

Benjamin Lucien Kaminski et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics