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 (17η εκδ.)SpringerLink (Online service), Theo Dimitrakos, και 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 εκδ.)SpringerLink (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.
