Cas Cremers

C C · C Cremers

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Operational Semantics and Verification of Security Protocols978-3-54O-78635-1
(3-54O-78635-X)
2012Sjouke Mauw

Casa Cocina Journals