Daniel Wasserrab Tobias Nipkow Gregor Snelting Frank Tip C++ ist typsicher? Garantiert! 29-34 2007 conf/se/2007 Software Engineering db/conf/se/se2007.html#WasserrabNST07