TY  - RPRT
TI  - RacerF: Data Race Detection with Frama-C (Competition Contribution)
AU  - Tomáš Dacík
AU  - Tomáš Vojnar
PY  - 2025
UR  - https://arxiv.org/abs/2502.20052
ID  - 2502.20052
ER  -