SpringerLink (Online service), Dimitrakos, T., & Martinelli, F. (2005). Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France. Springer US.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Theo Dimitrakos, and Fabio Martinelli. Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France. Boston, MA: Springer US, 2005.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France. Springer US, 2005.