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