Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks | IEEE Conference Publication | IEEE Xplore