Operational Semantics and Verification of Security Protocols electronic resource / by Cas Cremers, Sjouke Mauw
- Författare
- Cas. author. Cremers
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |