Login / Signup
Lex Bailey
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Theorem Prover
Relational Databases
Access Control
Theoretical Basis
Top Venues
CoRR
</>
Publications
</>
Lex Bailey
,
Jim Woodcock
,
Simon Foster
,
Roberto Metere
Checking and Automating Confidentiality Theory in Isabelle/UTP.
CoRR
(2023)