APA (7th ed.) Citation
Mouha, N., & Hailane, A. (2021). The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. Computer (00189162), 54(1), 29-39.
Chicago Style (17th ed.) Citation
Mouha, Nicky, and Asmaa Hailane. "The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems." Computer (00189162) 54, no. 1 (2021): 29-39.
MLA (9th ed.) Citation
Mouha, Nicky, and Asmaa Hailane. "The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems." Computer (00189162), vol. 54, no. 1, 2021, pp. 29-39.
Warning: These citations may not always be 100% accurate.