Static Deadlock Detection for Java Libraries.

Amy L. Williams, William Thies, Michael D. Ernst

Browse the full ECOOP paper archive.