Softwarezuverl Ssigkeit: Quantitative Modelle Und Nachweisverfahren door Günter Becker & G. Nter Becker