1
Foundations and Applications of Security Analysis [E-Book] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers /
Other Personal Name(s): “...Degano, Pierpaolo...”

Full text 
Favorites
Saved in:
2
Programming Languages and Systems [E-Book] : 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /
Other Personal Name(s): “...Degano, Pierpaolo....”

Full text 
Favorites
Saved in:

Narrow Search Results