Test, Analyse und Verifikation von Software - gestern, heute, morgen

Buch