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

Detalles Bibliográficos
Autor principal: ACM Workshop on Formal Methods in Security Engineering (corporate author, -)
Autores Corporativos: ACM Workshop on Formal Methods in Security Engineering Corporate Author (corporate author), Association for Computing Machinery-Digital Library, Association for Computing Machinery, ACM Conference on Computer and Communications Security
Otros Autores: Backes, Michael Contributor (contributor), Basin, David Contributor
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] ACM 2003
Colección:ACM Conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713974506719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (93 pages)