@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}
  }