Cita APA (7a ed.)

Yang, J., Sun, Y., Wu, Y., Caridad, R., Yuan, Y., Yao, J., . . . Pei, K. (2026). ExVerus: Verus Proof Repair via Counterexample Reasoning.

Cita Chicago Style (17a ed.)

Yang, Jun, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, y Kexin Pei. ExVerus: Verus Proof Repair via Counterexample Reasoning. 2026.

Cita MLA (9a ed.)

Yang, Jun, et al. ExVerus: Verus Proof Repair via Counterexample Reasoning. 2026.