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