| |
| 2008 | ||
|---|---|---|
| 1 | EE | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866 |
| 1 | Tihomir Gvero | [1] |
| 2 | Sarfraz Khurshid | [1] |
| 3 | Steven Lauterburg | [1] |
| 4 | Darko Marinov | [1] |
| 5 | Marcelo d'Amorim | [1] |