Ein kompakter Sammelband aus der dritten internationalen Konferenz „Tests and Proofs“ in Zürich, der innovative Ansätze zur formalen Verifikation und Softwaretests präsentiert und sowohl theoretische Grundlagen als auch praxisnahe Fallstudien verbindet.