Ing.
Dominik Harmim
External Pedagogue
Publications
-
2023
HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023.
p. 267-276. ISBN: 978-3-031-25311-9. Detail