"A true positives theorem for a static race detector."

Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics