GIEBAS, Damian, and Rafał WOJSZCZYK. “ORDER VIOLATION IN MULTITHREADED APPLICATIONS AND ITS DETECTION IN STATIC CODE ANALYSIS PROCESS”. Applied Computer Science 16, no. 4 (December 30, 2020): 103–117. Accessed May 18, 2024. https://ph.pollub.pl/index.php/acs/article/view/3175.