| |
| 2008 | ||
|---|---|---|
| 4 | EE | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Developing and debugging algebraic specifications for Java classes. ACM Trans. Softw. Eng. Methodol. 17(3): (2008) |
| 3 | EE | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Errata for "Discovering Documentation for Java Container Classes". IEEE Trans. Software Eng. 34(2): 303 (2008) |
| 2007 | ||
| 2 | EE | Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach: Analysis of Imperative XML Programs. DBPL 2007: 216-230 |
| 1 | EE | Johannes Henkel, Christoph Reichenbach, Amer Diwan: Discovering Documentation for Java Container Classes. IEEE Trans. Software Eng. 33(8): 526-543 (2007) |
| 1 | Michael G. Burke | [2] |
| 2 | Amer Diwan | [1] [3] [4] |
| 3 | Johannes Henkel | [1] [3] [4] |
| 4 | Igor Peshansky | [2] |
| 5 | Mukund Raghavachari | [2] |