APA (7th ed.) Citation

Dardinier, T., Sammler, M., Parthasarathy, G., Summers, A. J., & Müller, P. (2024). Formal Foundations for Translational Separation Logic Verifiers (extended version).

Chicago Style (17th ed.) Citation

Dardinier, Thibault, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, and Peter Müller. Formal Foundations for Translational Separation Logic Verifiers (extended Version). 2024.

MLA (9th ed.) Citation

Dardinier, Thibault, et al. Formal Foundations for Translational Separation Logic Verifiers (extended Version). 2024.