Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Alessandro Armando & Gavin Lowe의 도서 더 보기

L'aula e la piazza

2025년

Critica della ragione progettuale

2023년

Architettura e conflitto

2020년

Automated Reasoning

2008년