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