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
- Författare
- ACM Workshop on Formal Methods in Security Engineering
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
ACM | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |