Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History

von Naumann, David A.
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Type-Based Declassification for Free

von Ngo, Minh
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)