TY  - RPRT
TI  - Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
AU  - Simon Foster
AU  - James Baxter
AU  - Ana Cavalcanti
AU  - Jim Woodcock
AU  - Frank Zeyda
PY  - 2020
DO  - 10.1016/j.scico.2020.102510
UR  - https://arxiv.org/abs/1905.05500
ID  - 1905.05500
ER  -