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.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle Chicago (17th ed.)
Thompson, Kyle, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, a Emily First. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification."
ArXiv.org Dec 18, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Citace podle MLA (9th ed.)
Thompson, Kyle, et al. "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification."
ArXiv.org, Dec 18, 2024.
Kopírování bylo úspěšné
Kopírování se nezdařilo
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..