Preface

---

Akleylek S., Koç Ç. K.

Handbook of Formal Analysis and Verification in Cryptography, 2023 (Scopus)

• Yayın Türü: Makale / Editöre Mektup
• Basım Tarihi: 2023
• Dergi Adı: Handbook of Formal Analysis and Verification in Cryptography
• Derginin Tarandığı İndeksler: Scopus
• Ondokuz Mayıs Üniversitesi Adresli: Evet