APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.