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
Autor principal: | |
---|---|
Autores Corporativos: | , , |
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 |
Notas: | Bibliographic Level Mode of Issuance: Monograph |
---|---|
Descripción Física: | 1 online resource (96 pages) |