TY  - JOUR

T1  - Mechanized proofs of opacity: a comparison of two techniques

JO  - Formal Aspects of Computing

UR  - https://eprints.whiterose.ac.uk/id/eprint/120855

PY  - 2018/09/01

AU  - Derrick J

AU  - Doherty S

AU  - Dongol B

AU  - Schellhorn G

AU  - Travkin O

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1007/s00165-017-0433-3

PB  - Springer Verlag

VL  - 30

IS  - 5

SP  - 597

EP  - 625

Y2  - 2025/11/27

ER  -