APA引文

Mok, X. M., & Tianwei, Z. (2022). Formal verification of security protocols. Nanyang Technological University.

Chicago Style Citation

Mok, Xin Mun, and Zhang Tianwei. Formal Verification of Security Protocols. Nanyang Technological University, 2022.

MLA引文

Mok, Xin Mun, and Zhang Tianwei. Formal Verification of Security Protocols. Nanyang Technological University, 2022.

警告：這些引文格式不一定是100％准確.