Helmut Seidl, Vesal Vojdani
Region Analysis for Race Detection
SAS, 2009.
@inproceedings{SAS-2009-SeidlV, author = "Helmut Seidl and Vesal Vojdani", booktitle = "{Proceedings of the 16th International Static Analysis Symposium}", doi = "10.1007/978-3-642-03237-0_13", isbn = "978-3-642-03236-3", pages = "171--187", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Region Analysis for Race Detection}", volume = 5673, year = 2009, }