| |
| 2008 | ||
|---|---|---|
| 3 | EE | Daniel Wasserrab, Andreas Lochbihler: Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL. TPHOLs 2008: 294-309 |
| 2007 | ||
| 2 | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: C++ ist typsicher? Garantiert! Software Engineering 2007: 29-34 | |
| 2006 | ||
| 1 | EE | Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362 |
| 1 | Andreas Lochbihler | [3] |
| 2 | Tobias Nipkow | [1] [2] |
| 3 | Gregor Snelting | [1] [2] |
| 4 | Frank Tip | [1] [2] |