@inproceedings{McIver_Morgan_20, author = {Annabelle McIver and Carroll Morgan}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles---9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, doi = {10.1007/978-3-030-61362-4\_12}, editor = {Tiziana Margaria and Bernhard Steffen}, pages = {216--239}, paperurl = {https://trustworthy.systems/publications/papers/McIver_Morgan_20.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {Correctness by Construction for Probabilistic Programs}, url = {https://doi.org/10.1007/978-3-030-61362-4\_12}, volume = {12476}, year = {2020} }