Authors | Alessandro Armando
autor-image
Alessandro Armando

Books by Alessandro Armando

Frontiers of Combining Systems: by Alessandro Armando
by Alessandro Armando
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos,: by Alessandro Armando
by Alessandro Armando
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceed: by Alessandro Armando
by Alessandro Armando