Xin, Y., Chen, Q., Durrett, G., & Dillig, I. (2026). VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean.
Citazione stile Chigago Style (17a edizione)Xin, Yutong, Qiaochu Chen, Greg Durrett, e Işil Dillig. VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean. 2026.
Citatione MLA (9a ed.)Xin, Yutong, et al. VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.