FAST 2010: Pisa, Italy

Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (Eds.): 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 Springer 2011, ISBN 978-3-642-19750-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML