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

Hark, Marcel (Corresponding author); Kaminski, Benjamin Lucien; Giesl, Jürgen; Katoen, Joost-Pieter

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

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

Identifikationsnummern