Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY