Cita APA (7a ed.)
Thompson, K., Saavedra, N., Carrott, P., Fisher, K., Sanchez-Stern, A., Brun, Y., . . . First, E. (2025). Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings. https://doi.org/10.1109/ICSE55347.2025.00161
Cita Chicago Style (17a ed.)
Thompson, Kyle, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joao F. Ferreira, Sorin Lerner, y Emily First. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings 2025. https://doi.org/10.1109/ICSE55347.2025.00161.
Cita MLA (9a ed.)
Thompson, Kyle, et al. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification." The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2025, https://doi.org/10.1109/ICSE55347.2025.00161.
Precaución: Estas citas no son 100% exactas.