ISBN 9783030190514 books & textbook
Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A. Meadows (Security and Cryptology)
Guttman, Joshua D. Landwehr, Carl E. Meseguer, José Pavlovic, Dusko
Springer /2019-04-28 Paperback / 251 Pages
isbn-10: 303019051X / isbn-13: 9783030190514
