Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay. Effective static deadlock detection. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. pages 386-396, IEEE, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.