Παραπομπή σε μορφή APA (7η εκδ.)

Proceedings of the 2005 ACM workshop on Formal methods in security engineering. Association for Computing Machinery (ACM).

Παραπομπή σε μορφή Chicago (17η εκδ.)

Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).

Παραπομπή σε μορφή MLA (9th εκδ.)

Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).