Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin - In: Handbook Of Formal Analysis And Verification In Cryptography Yusupov (2023) Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols, In: Handbook of Formal Analysis and Verification in Cryptography, ISBN: 978-0-367-54665-6
