ISBN 3642197507 books & textbook
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science, 6561)
Degano, Pierpaolo Etalle, Sandro Guttman, Joshua
Springer /2011-03-07 Paperback / 249 Pages
isbn-10: 3642197507 / isbn-13: 9783642197505
