| |
| 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 | Tobias Nipkow | [1] [2] |
| 2 | Gregor Snelting | [1] [2] |
| 3 | Frank Tip | [1] [2] |