Süli, P. P., Knoll, J., & Porkoláb, Z. (2025). Multithreading Atomicity: Static Analysis Checkers. Acta Cybernetica, 27(2), 241–261. https://doi.org/10.14232/actacyb.311949