Proceedings of the fourth ACM Workshop on Formal methods in Security

Proceedings of the fourth ACM Workshop on Formal methods in Security

Bibliographic Details
Main Author: ACM Workshop on Formal Methods in Security Engineering (corporate author)
Corporate Authors: ACM Workshop on Formal Methods in Security Engineering Corporate Author (corporate author), 13th ACM Conference on Computer and Communications Security 2006 (-), Association for Computing Machinery-Digital Library
Other Authors: Winslett, Marianne Contributor (contributor), Gordon, Andrew D Contributor
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2006
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714201506719

Similar Items

Similar Items