Handbook of Formal Analysis and Verification in Cryptography
-
innbundet
,
Engelsk, 2023