Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar. Static Deadlock Detection in Low-Level C Code. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers. Volume 13789 of Lecture Notes in Computer Science, pages 267-276, Springer, 2022. [doi]
Abstract is missing.