| |
| 2008 | ||
|---|---|---|
| 2 | EE | Helge Löding, Jan Peleska: Symbolic and Abstract Interpretation for C/C++ Programs. Electr. Notes Theor. Comput. Sci. 217: 113-131 (2008) |
| 2007 | ||
| 1 | Jan Peleska, Helge Löding, Tatiana Kotas: Test Automation Meets Static Analysis. GI Jahrestagung (2) 2007: 280-290 | |
| 1 | Tatiana Kotas | [1] |
| 2 | Jan Peleska | [1] [2] |