![](/img/cover-not-exists.png)
Mechanized proofs of opacity: a comparison of two techniques
Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard, Travkin, Oleg, Wehrheim, HeikeLanguage:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-017-0433-3
Date:
August, 2017
File:
PDF, 1.49 MB
english, 2017