Mok, X. M., & Tianwei, Z. (2022). Formal verification of security protocols. Nanyang Technological University.
Chicago Style CitationMok, Xin Mun, and Zhang Tianwei. Formal Verification of Security Protocols. Nanyang Technological University, 2022.
MLA CitationMok, Xin Mun, and Zhang Tianwei. Formal Verification of Security Protocols. Nanyang Technological University, 2022.
Warning: These citations may not always be 100% accurate.