APA (7th ed.) Citation

Zilberstein, N., Kozen, D., Silva, A., & Tassarotti, J. (2025). A Demonic Outcome Logic for Randomized Nondeterminism. Proceedings of ACM on programming languages, 9(POPL), 539-568. https://doi.org/10.1145/3704855

Chicago Style (17th ed.) Citation

Zilberstein, Noam, Dexter Kozen, Alexandra Silva, and Joseph Tassarotti. "A Demonic Outcome Logic for Randomized Nondeterminism." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 539-568. https://doi.org/10.1145/3704855.

MLA (9th ed.) Citation

Zilberstein, Noam, et al. "A Demonic Outcome Logic for Randomized Nondeterminism." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 539-568, https://doi.org/10.1145/3704855.