SpringerLink (Online service), Degano, P., & Guttman, J. D. (2010). Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Pierpaolo Degano, και Joshua D. Guttman. Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Springer Berlin Heidelberg, 2010.