ACM Workshop on Formal Methods in Security Engineering, Mitchell, J. C. C., & Küsters, R. 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, John C Contributor Mitchell, y Ralf Contributor Küsters. 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. [Place of publication not identified]: 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.
