Cita APA (7a ed.)
Thompson, K., Saavedra, N., Carrott, P., Fisher, K., Sanchez-Stern, A., Brun, Y., . . . First, E. (Dec 18, 2024). Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. arXiv.org.
Cita Chicago Style (17a ed.)
Thompson, Kyle, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, y Emily First. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification." ArXiv.org Dec 18, 2024.
Cita MLA (9a ed.)
Thompson, Kyle, et al. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification." ArXiv.org, Dec 18, 2024.
Precaución: Estas citas no son 100% exactas.