APA (7th ed.) Citation

Wan, H., He, A., You, Z., & Zhao, X. Formal Proof of a Machine Closed Theorem in Coq. Wiley.

Chicago Style (17th ed.) Citation

Wan, Hai, Anping He, Zhiyang You, and Xibin Zhao. Formal Proof of a Machine Closed Theorem in Coq. Wiley.

MLA (9th ed.) Citation

Wan, Hai, et al. Formal Proof of a Machine Closed Theorem in Coq. Wiley.