@inproceedings{d20dfad20507488194d19c22ab3cbccf,
title = "The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis",
author = "Jakob Mund and Ralf Huuck and Ansgar Fehnker and Cyrille Artho",
year = "2013",
doi = "10.1007/978-3-319-02444-8_45",
language = "English",
isbn = "978-3-319-02443-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "516--525",
editor = "Hung, {Dang Van} and Mizuhito Ogawa",
booktitle = "Automated Technology for Verification and Analysis",
note = "11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013 ; Conference date: 15-10-2013 Through 18-10-2013",
}