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. (2004). FMSE'04: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004. Association for Computing Machinery.
Cita Chicago Style (17a ed.)ACM Workshop on Formal Methods in Security Engineering, Audit Association for Computing Machinery. Special Interest Group on Security, y ACM Conference on Computer and Communications Security. FMSE'04: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : Co-located with CCS 2004. New York: Association for Computing Machinery, 2004.
Cita MLA (9a ed.)ACM Workshop on Formal Methods in Security Engineering, et al. FMSE'04: Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : Co-located with CCS 2004. Association for Computing Machinery, 2004.
