1. Verification of Sequential and Concurrent Programs;Apt,2009
2. Fifty years of Hoare's logic;Apt;Formal Aspects of Computing,2019
3. EasyPQC: verifying post-quantum cryptography;Barbosa,2021
4. Relational proofs for quantum programs;Barthe;Proceedings of the ACM on Programming Languages,2020
5. symQV: automated symbolic verification of quantum programs;Bauer-Marquart,2023