2007 | ||
---|---|---|
1 | EE | John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki: Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. ASWEC 2007: 223-232 |
1 | Paul A. Strooper | [1] |
2 | Luke Wildman | [1] |
3 | Margaret A. Wojcicki | [1] |