Computing Expected Runtimes for Constant Probability Programs

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

Cham / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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