APA (7th ed.) Citation

Zilberstein, N., Saliling, A., & Silva, A. (2023). Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.

Chicago Style (17th ed.) Citation

Zilberstein, Noam, Angelina Saliling, and Alexandra Silva. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. 2023.

MLA (9th ed.) Citation

Zilberstein, Noam, et al. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. 2023.