Author

Besik Dundua

2 books found

Cover of Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek, Besik Dundua · First published 2023

Cover of Unity of Logic and Computation

Unity of Logic and Computation

Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea · First published 2023