Entdecken Sie in diesem Band die neuesten Erkenntnisse der Verifikation und Tests aus der dritten Haifa-Konferenz, mit praxisorientierten Fallstudien, theoretischen Durchbrüchen und innovativen Testansätzen für moderne Hardware‑Software-Systeme.