Citazione Stile APA (7a Edizione)

Zeng, L., Che, F., Huang, X., Ye, F., Xu, X., Yuan, B., & Fu, J. (2025). VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code.

Citazione stile Chigago Style (17a edizione)

Zeng, Lingfei, Fengdi Che, Xuhan Huang, Fei Ye, Xu Xu, Binhang Yuan, e Jie Fu. VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code. 2025.

Citatione MLA (9a ed.)

Zeng, Lingfei, et al. VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code. 2025.