Normal view
MARC view
Akleylek, Sedat(Personal Name)
Machine generated authority record
Work cat.: (UDJG)67377: HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY, 2023.