Cita APA (7a ed.)
Beyer, D., Lee, N., & Wendler, P. (Mar 12, 2024). Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. arXiv.org.
Cita Chicago Style (17a ed.)
Beyer, Dirk, Nian-Ze Lee, y Philipp Wendler. "Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification." ArXiv.org Mar 12, 2024.
Cita MLA (9a ed.)
Beyer, Dirk, et al. "Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification." ArXiv.org, Mar 12, 2024.
Precaución: Estas citas no son 100% exactas.