Richard Bubel

No bio available. Add one in Open Library.

Books by Richard Bubel (50 max)

+ shelf+ list

Deductive Software Verification - the KeY Book: From Theory to Practice

2016

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

+ shelf+ list

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

2020

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

+ shelf+ list

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

2022

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen