Normal view
MARC view
MATHEMATICS / Mathematical Analysis(Topical Term)
Machine generated authority record
Work cat.: (UDJG)67377: HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY, 2023.