APA Citation
Akleylek, S., & Dundua, B. Handbook of formal analysis and verification in cryptography.
Chicago Style CitationAkleylek, Sedat, and Besik Dundua. Handbook of Formal Analysis and Verification in Cryptography.
MLA CitationAkleylek, Sedat, and Besik Dundua. Handbook of Formal Analysis and Verification in Cryptography.
Warning: These citations may not always be 100% accurate.