Computing Expected Runtimes for Constant Probability Programs

Cham / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Giesl, Jürgen
Giesl, Peter
Hark, Marcel

Identifier