Meyer, R., Wies, T., & Wolff, S. (2022). A concurrent program logic with a future and history. Proceedings of ACM on programming languages, 6(OOPSLA2), 1378-1407. https://doi.org/10.1145/3563337
Chicago-Zitierstil (17. Ausg.)Meyer, Roland, Thomas Wies, und Sebastian Wolff. "A Concurrent Program Logic with a Future and History." Proceedings of ACM on Programming Languages 6, no. OOPSLA2 (2022): 1378-1407. https://doi.org/10.1145/3563337.
MLA-Zitierstil (9. Ausg.)Meyer, Roland, et al. "A Concurrent Program Logic with a Future and History." Proceedings of ACM on Programming Languages, vol. 6, no. OOPSLA2, 2022, pp. 1378-1407, https://doi.org/10.1145/3563337.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.