"A True Positives Theorem for a Static Race Detector - Extended Version."

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