Foundations of Security, Protocols, and Equational Reasoning
-
häftad
,
Engelska, 2019