APA (7th ed.) Citation

Workshop on Formal Aspects in Security and Trust Toulouse, France, SpringerLink (Online service), IFIP World Computer Congress, 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 Science. https://doi.org/10.1007/b104303

Chicago Style (17th ed.) Citation

Workshop on Formal Aspects in Security and Trust Toulouse, France, SpringerLink (Online service), IFIP World Computer Congress, 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. New York: Springer Science, 2005. https://doi.org/10.1007/b104303.

MLA (9th ed.) Citation

Workshop on Formal Aspects in Security and Trust Toulouse, France, 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 Science, 2005. https://doi.org/10.1007/b104303.