Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering

Proceedings of the 6th Acm Workshop on Formal Methods in Security Engineering

Detalles Bibliográficos
Autores Corporativos: 15th ACM Conference on Computer and Communications Security 2008 (-), Association for Computing Machinery-Digital Library
Otros Autores: Shmatikov,Vitaly Contributor (contributor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: [Place of publication not identified] Association for Computing Machinery 2008
Colección:ACM Conferences
Materias:
Information Technology > Computer Science (Hardware & Networks)
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712923706719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (70 p.;)

Ejemplares similares