APA (7th ed.) Citation

Bruni, R., Gazzella, L., & Gori, R. (2026). Systematic Design of Separation Logics.

Chicago Style (17th ed.) Citation

Bruni, Roberto, Lorenzo Gazzella, and Roberta Gori. Systematic Design of Separation Logics. 2026.

MLA (9th ed.) Citation

Bruni, Roberto, et al. Systematic Design of Separation Logics. 2026.