Handbook of Formal Analysis and Verification in Cryptography Akleylek, Sedat Innbundet / 2023 / 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
