FMSE '04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 29, 2004 : co-located with CCS 2004

Detalles Bibliográficos
Autor principal: ACM Workshop on Formal Methods in Security Engineering (-)
Autores Corporativos: ACM Workshop on Formal Methods in Security Engineering Corporate Author (corporate author), Association for Computing Machinery Special Interest Group on Security, Audit, and Control, Content Provider (content provider), ACM Conference on Computer and Communications Security
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2004
Colección:ACM Conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712844006719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (96 pages)