Busi, M., Focardi, R., & Luccio, F. L. (2025). Strands Rocq: Why is a Security Protocol Correct, Mechanically?
Citazione stile Chigago Style (17a edizione)Busi, Matteo, Riccardo Focardi, e Flaminia L. Luccio. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.
Citatione MLA (9a ed.)Busi, Matteo, et al. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.