Korzycki M. A COMPILE-TIME DEADLOCK DETECTION PATTERN. csci [Internet]. 2013Apr.20 [cited 2024May20];8(3):85. Available from: https://journals.agh.edu.pl/csci/article/view/202