Cita APA (7a ed.)

Avigad, J., Goldberg, L., Levit, D., Seginer, Y., & Titelman, A. (2025). A Proof-Producing Compiler for Blockchain Applications.

Cita Chicago Style (17a ed.)

Avigad, Jeremy, Lior Goldberg, David Levit, Yoav Seginer, y Alon Titelman. A Proof-Producing Compiler for Blockchain Applications. 2025.

Cita MLA (9a ed.)

Avigad, Jeremy, et al. A Proof-Producing Compiler for Blockchain Applications. 2025.