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.
Cita Chicago Style (17a ed.)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, y 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.
Cita MLA (9a ed.)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.
