- Libros
- Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
- Libros
- Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
VV.AA.
English
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
VV.AA.EAN
9783642160738
Editorial
Year of edition
2010
Idiom
English
Collection
Lecture Notes in Computer Science