Publikace

• 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. s. 267-276. ISBN: 978-3-031-25311-9.
  Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.