"Test, Analyse und Verifikation von Software – gestern, heute, morgen" von Andrej Pietschker bietet einen umfassenden Überblick über die Entwicklung und den aktuellen Stand der Techniken zur Sicherstellung der Qualität von Software. Das...