Süli, Patrik P., Judit Knoll, and Zoltán Porkoláb. 2025. “Multithreading Atomicity: Static Analysis Checkers”. Acta Cybernetica 27 (2):241-61. https://doi.org/10.14232/actacyb.311949.