Computing Expected Runtimes for Constant Probability Programs

Giesl, Jürgen; Giesl, Peter; Hark, Marcel Tobias (Corresponding author)

Cham : Springer (2019)
Contribution to a book, Contribution to a conference proceedings

In: Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : Proceedings / Pascal Fontaine (Ed.)
Page(s)/Article-Nr.: 269-286