Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY - Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias (Springer International Publishing, 2020)