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.