![](/img/cover-not-exists.png)
[IEEE 2007 Australian Software Engineering Conference (ASWEC'07) - Melbourne, Australia (2007.04.10-2007.04.13)] 2007 Australian Software Engineering Conference (ASWEC'07) - Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks
Ngui, John, Strooper, Paul, Wildman, Luke, Wojcicki, MargaretYear:
2007
Language:
english
DOI:
10.1109/aswec.2007.16
File:
PDF, 236 KB
english, 2007