Securing the Foundations of an Intermediate Language for Probabilistic Program Verification.

Oliver Bving, Christoph Matheja

Browse the full ITP paper archive.