| |
| 2006 | ||
|---|---|---|
| 1 | Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas: Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice 2006: 629-635 | |
| 1 | Mark Lawford | [1] |
| 2 | Vera Pantelic | [1] |
| 3 | David Lorge Parnas | [1] |