@misc{indiciae55e70200625b,
  title = {Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP},
  author = {Simon Foster and James Baxter and Ana Cavalcanti and Jim Woodcock and Frank Zeyda},
  year = {2020},
  doi = {10.1016/j.scico.2020.102510},
  url = {https://arxiv.org/abs/1905.05500},
  note = {Source identifier: 1905.05500}
}