Normal view
MARC view
Sedat Akleylek; Besik Dundua(Personal Name)
Machine generated authority record
Work cat.: (OSt)1738546: Sedat Akleylek; Besik Dundua, Handbook of Formal Analysis and Verification in Cryptography