Besik Dundua

Besik Dundua

Books

Co-authored books and collections

Books that list Besik Dundua among their authors but not as the lead author: co-written works, collections and compilations.

Handbook of Formal Analysis and Verification in CryptographySedat Akleylek

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek · 2023

Unity of Logic and ComputationGianluca Della Vedova

Unity of Logic and Computation

Gianluca Della Vedova · 2023