👤

Besik Dundua

2 books

Books by Besik Dundua

Handbook of Formal Analysis an
Handbook of Formal Analysis and Verification in Cryptography
2023
Unity of Logic and Computation
Unity of Logic and Computation
2023