TY  - RPRT
TI  - A True Positives Theorem for a Static Race Detector - Extended Version
AU  - Nikos Gorogiannis
AU  - Peter W. O'Hearn
AU  - Ilya Sergey
PY  - 2018
DO  - 10.1145/3290370
UR  - https://arxiv.org/abs/1811.03503
ID  - 1811.03503
ER  -