Richard Bubel

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

2022 · ENGLISH · PDF

View details →

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

2020 · ENGLISH · PDF

View details →

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

2016 · ENGLISH · PDF

View details →