STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Cas Cremers | lit.salon
Cas Cremers
No bio available.
Add one in Open Library.
Books by Cas Cremers (50 max)
+ shelf
+ list
Operational Semantics and Verification of Security Protocols
2012
Cas Cremers
+ shelf
+ list
Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
2018
Cas Cremers, Anja Lehmann
