APA (7th ed.) Citation

ACM Workshop on Formal Methods in Security Engineering, Association for Computing Machinery. Special Interest Group on Security, Audit, and Control, ACM Conference on Computer and Communications Security, Küsters, R., & Mitchell, J. C. (2005). FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering, November 11, 2005, Fairfax, Virginia, USA : (co-located with CCS 2005). ACM.

Chicago Style (17th ed.) Citation

ACM Workshop on Formal Methods in Security Engineering, Audit Association for Computing Machinery. Special Interest Group on Security, ACM Conference on Computer and Communications Security, Ralf Küsters, and John C. Mitchell. FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering, November 11, 2005, Fairfax, Virginia, USA : (co-located with CCS 2005). New York: ACM, 2005.

MLA (9th ed.) Citation

ACM Workshop on Formal Methods in Security Engineering, et al. FMSE'05: Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering, November 11, 2005, Fairfax, Virginia, USA : (co-located with CCS 2005). ACM, 2005.