Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Sách Khác Của Alessandro Armando & Gavin Lowe

L'aula e la piazza

2025

Critica della ragione progettuale

2023

Architettura e conflitto

2020

Automated Reasoning

2008