Login / Signup

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

Marcel HarkBenjamin Lucien KaminskiJürgen GieslJoost-Pieter Katoen
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases