Daniel Wasserrab

	2008
3		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		Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip: An operational semantics and type safety prooffor multiple inheritance in C++. OOPSLA 2006: 345-362

Coauthor Index

1	Andreas Lochbihler	[3]
2	Tobias Nipkow	[1] [2]
3	Gregor Snelting	[1] [2]
4	Frank Tip	[1] [2]