Proceedings of the 2005 ACM workshop on Formal methods in security engineering. Association for Computing Machinery (ACM).
Chicago-referens (17:e uppl.)Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
MLA-referens (9:e uppl.)Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering. Association for Computing Machinery (ACM).
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.