@article{article, title = {{Mechanized proofs of opacity: a comparison of two techniques}}, url = {{http://eprints.whiterose.ac.uk/120855/ }}, year = {{2017}}, month = {{8}}, author = {{Derrick J and Doherty S and Dongol B and Schellhorn G and Travkin O and Wehrheim H}}, doi = {{10.1007/s00165-017-0433-3}}, volume = {{30}}, journal = {{Formal Aspects of Computing}}, issue = {{5}}, pages = {{597-625}}, note = {{Accessed on 2025/05/31}}}