Proceedings of the 2004 ACM workshop on Formal methods in security engineering. Association for Computing Machinery (ACM).
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումProceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
MLA (9րդ խմբ.) ՄեջբերումProceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.