Formal Aspects in Security and Trust
Joshua Guttman
₹3,925
Author
Books by Joshua Guttman
Showing 1–3 of 3 books
Foundations of Security, Protocols, and Equational Reasoning
Joshua Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
₹4,250
VLISP A Verified Implementation of Scheme
Joshua Guttman
₹11,550