Cita APA (7a ed.)
Kasibatla, S. R., Agarwal, A., Brun, Y., Lerner, S., Ringer, T., & First, E. (Oct 25, 2024). Cobblestone: Iterative Automation for Formal Verification. arXiv.org.
Cita Chicago Style (17a ed.)
Kasibatla, Saketh Ram, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, y Emily First. "Cobblestone: Iterative Automation for Formal Verification." ArXiv.org Oct 25, 2024.
Cita MLA (9a ed.)
Kasibatla, Saketh Ram, et al. "Cobblestone: Iterative Automation for Formal Verification." ArXiv.org, Oct 25, 2024.
Precaución: Estas citas no son 100% exactas.