Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY Ahrendt, Wolfgang Heftet / 2020 / Engelsk
