Cita APA (7a ed.)

Sosso, A., Arora, A., & Spitters, B. (2026). Agentic Proving for Program Verification.

Cita Chicago Style (17a ed.)

Sosso, Alessandro, Akhil Arora, y Bas Spitters. Agentic Proving for Program Verification. 2026.

Cita MLA (9a ed.)

Sosso, Alessandro, et al. Agentic Proving for Program Verification. 2026.