Atıf İçin Kopyala
Akleylek S., Koç Ç. K.
Handbook of Formal Analysis and Verification in Cryptography, 2023 (Scopus)