Testen, Analysieren und Verifizieren von Software

by Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner