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
Citácia podle Chicago (17th ed.)Zilberstein, Noam, Dexter Kozen, Alexandra Silva, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..