@inproceedings{McIver_Morgan_20, paperurl = {https://trustworthy.systems/publications/papers/McIver_Morgan_20.pdf}, doi = {10.1007/978-3-030-61362-4\_12}, publisher = {Springer}, volume = {12476}, editor = {Tiziana Margaria and Bernhard Steffen}, series = {Lecture Notes in Computer Science}, 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}}, title = {Correctness by Construction for Probabilistic Programs}, pages = {216--239}, author = {Annabelle McIver and Carroll Morgan}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-61362-4\_12} }