Cita APA (7a ed.)
Dardinier, T., Sammler, M., Parthasarathy, G., Summers, A. J., & Müller, P. (Dec 20, 2024). Formal Foundations for Translational Separation Logic Verifiers (extended version). arXiv.org. https://doi.org/10.1145/3704856
Cita Chicago Style (17a ed.)
Dardinier, Thibault, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, y Peter Müller. "Formal Foundations for Translational Separation Logic Verifiers (extended Version)." ArXiv.org Dec 20, 2024. https://doi.org/10.1145/3704856.
Cita MLA (9a ed.)
Dardinier, Thibault, et al. "Formal Foundations for Translational Separation Logic Verifiers (extended Version)." ArXiv.org, Dec 20, 2024, https://doi.org/10.1145/3704856.
Precaución: Estas citas no son 100% exactas.