Tassarotti, J., & Harper, R. (2019). A separation logic for concurrent randomized programs. Proceedings of ACM on programming languages, 3(POPL), 1-30. https://doi.org/10.1145/3290377
Chicago-Zitierstil (17. Ausg.)Tassarotti, Joseph, und Robert Harper. "A Separation Logic for Concurrent Randomized Programs." Proceedings of ACM on Programming Languages 3, no. POPL (2019): 1-30. https://doi.org/10.1145/3290377.
MLA-Zitierstil (9. Ausg.)Tassarotti, Joseph, und Robert Harper. "A Separation Logic for Concurrent Randomized Programs." Proceedings of ACM on Programming Languages, vol. 3, no. POPL, 2019, pp. 1-30, https://doi.org/10.1145/3290377.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.