Cita APA (7a ed.)

ACM Workshop on Formal Methods in Security Engineering. (2007). FMSE '07: Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007. ACM.

Cita Chicago Style (17a ed.)

ACM Workshop on Formal Methods in Security Engineering. FMSE '07: Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007. [Place of publication not identified]: ACM, 2007.

Cita MLA (9a ed.)

ACM Workshop on Formal Methods in Security Engineering. FMSE '07: Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering : Fairfax, Virginia, USA, November 2, 2007. ACM, 2007.