Azadeh Farzan, Zachary Kincaid
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
SAS, 2010.
@inproceedings{SAS-2010-FarzanK, author = "Azadeh Farzan and Zachary Kincaid", booktitle = "{Proceedings of the 17th International Static Analysis Symposium}", doi = "10.1007/978-3-642-15769-1_16", isbn = "978-3-642-15768-4", pages = "253--270", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Compositional Bitvector Analysis for Concurrent Programs with Nested Locks}", volume = 6337, year = 2010, }