TY  - RPRT
TI  - Checking and Automating Confidentiality Theory in Isabelle/UTP
AU  - Lex Bailey
AU  - Jim Woodcock
AU  - Simon Foster
AU  - Roberto Metere
PY  - 2023
UR  - https://arxiv.org/abs/2310.10658
ID  - 2310.10658
ER  -