Aiming low is harder: induction for lower bounds in probabilistic program verification

New York, NY, USA / ACM (2020) [Fachzeitschriftenartikel]

Proceedings of the ACM on programming languages
Band: 4
Ausgabe: POPL
Seite(n): 1-28

Autorinnen und Autoren

Autorinnen und Autoren

Hark, Marcel
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter

Identifikationsnummern