Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis
Modular Safety Checking for Fine-Grained Concurrency
SAS, 2007.
@inproceedings{SAS-2007-CalcagnoPV, author = "Cristiano Calcagno and Matthew J. Parkinson and Viktor Vafeiadis", booktitle = "{Proceedings of the 14th International Static Analysis Symposium}", doi = "10.1007/978-3-540-74061-2_15", isbn = "978-3-540-74060-5", pages = "233--248", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Modular Safety Checking for Fine-Grained Concurrency}", volume = 4634, year = 2007, }