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, Backes, M., Basin, D., & Waidner, M. (2003). FMSE'03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03. 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, Michael Backes, David Basin, y Michael Waidner. FMSE'03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : Co-located with CCS'03. New York: ACM, 2003.
Cita MLA (9a ed.)ACM Workshop on Formal Methods in Security Engineering, et al. FMSE'03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : Co-located with CCS'03. ACM, 2003.
