APA Style
Armando, Alessandro, Lowe, Gavin. (2010).
Automated reasoning for security protocol analysis and issues in the theory of security .
Berlin:
.
Chicago Style
Armando, Alessandro, Lowe, Gavin.
Automated reasoning for security protocol analysis and issues in the theory of security.
Berlin:
,
2010.
E-Book.
MLA Style
Armando, Alessandro, Lowe, Gavin.
Automated reasoning for security protocol analysis and issues in the theory of security.
Berlin:
,
2010.
E-Book.
Turabian Style
Armando, Alessandro, Lowe, Gavin.
Automated reasoning for security protocol analysis and issues in the theory of security.
Berlin:
,
2010.
E-Book.