Proceedings of the 2007 ACM workshop on Formal methods in security engineering. Association for Computing Machinery (ACM).
Citação do estilo Chicago (17ª ed.)Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
Citação MLA (9ª ed.)Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.