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]
Identifikationsnummern
- DOI: 10.1007/978-3-030-29436-6_16
- RWTH PUBLICATIONS: RWTH-2019-08276