Proceedings of the fourth ACM Workshop on Formal methods in Security

Författare
13th ACM Conference on Computer and Communications Security 2006
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat