Cita APA (7a ed.)

ACM Workshop on Formal Methods in Security Engineering, Winslett, M. C., & Gordon, A. D. C. (2006). Proceedings of the fourth ACM Workshop on Formal methods in Security. ACM.

Cita Chicago Style (17a ed.)

ACM Workshop on Formal Methods in Security Engineering, Marianne Contributor Winslett, y Andrew D Contributor Gordon. Proceedings of the Fourth ACM Workshop on Formal Methods in Security. [Place of publication not identified]: ACM, 2006.

Cita MLA (9a ed.)

ACM Workshop on Formal Methods in Security Engineering, et al. Proceedings of the Fourth ACM Workshop on Formal Methods in Security. ACM, 2006.