Süli, Patrik P., Judit Knoll, and Zoltán Porkoláb. “Multithreading Atomicity: Static Analysis Checkers”. Acta Cybernetica 27, no. 2 (July 15, 2025): 241–261. Accessed July 16, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4521.