Cita APA (7a ed.)

Gross, J., Erbsen, A., Philipoom, J., Agrawal, R., & Chlipala, A. (2022). Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Cita Chicago Style (17a ed.)

Gross, Jason, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, y Adam Chlipala. Accelerating Verified-Compiler Development with a Verified Rewriting Engine. 2022.

Cita MLA (9a ed.)

Gross, Jason, et al. Accelerating Verified-Compiler Development with a Verified Rewriting Engine. 2022.