Normal view
MARC view
Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (Personal Name)
Machine generated authority record
Work cat.: (OSt)1638893: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic, Foundations of Security, Protocols, and Equational Reasoning