Citazione Stile APA (7a Edizione)
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
Citazione stile Chigago Style (17a edizione)
Dardinier, Thibault, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, e Peter Müller. "Formal Foundations for Translational Separation Logic Verifiers (extended Version)." ArXiv.org Dec 20, 2024. https://doi.org/10.1145/3704856.
Citatione 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.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.