SpringerLink (Online service), Degano, P., Etalle, S., & Guttman, J. (2011). Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Pierpaolo Degano, Sandro Etalle, and Joshua Guttman. Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2011.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Springer Berlin Heidelberg : Imprint: Springer, 2011.