APA (7th ed.) Citation

Suresh, T., Korczynski, D., & Vanegue, J. (2026). Agentic Separation Logic Specification Synthesis.

Chicago Style (17th ed.) Citation

Suresh, Tarun, David Korczynski, and Julien Vanegue. Agentic Separation Logic Specification Synthesis. 2026.

MLA (9th ed.) Citation

Suresh, Tarun, et al. Agentic Separation Logic Specification Synthesis. 2026.