Software-Qualität Testen, Analysieren und Verifizieren von Software - Liggesmeyer, Peter 1963- (Spektrum, Akad. Verl., 2009)