Handbook of Formal Analysis and Verification in Cryptography Akleylek, Sedat Innbundet / 2023 / Engelsk
Logics in Artificial Intelligence 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I Casini, Giovanni Heftet / 2025 / Engelsk
Logics in Artificial Intelligence 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II Casini, Giovanni Heftet / 2025 / Engelsk
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings Della Vedova, Gianluca Heftet / 2023 / Engelsk
