Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

Sebastian Huhn, Rolf Drechsler, 3031453182, 9783031453182, 9783031453199