Correctness by Construction for Probabilistic Programs.

Annabelle McIver, Carroll Morgan

Browse the full ISoLA paper archive.