Ein kompakter Sammelband aus der VSTTE‑Konferenz in Oxford, der neueste Erkenntnisse zur verifizierten Software liefert – von theoretischen Modellen über Werkzeuge bis zu experimentellen Studien, alles auf Englisch in 340 Seiten.