Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security More Books by Alessandro Armando & Gavin Lowe

Critica della ragione progettuale

2023

Automated Reasoning

2008