B

Besik Dundua

No biography available

Books by Besik Dundua

Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek, Besik Dundua

Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings

Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea