Computing Expected Runtimes for Constant Probability Programs

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

Cham : Springer (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

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

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehr- und Forschungsgebiet Informatik 2 (Programmiersprachen und Verifikation) [121420]