MPG.eBooks - Author Search Results

Cover Image

1

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

Published 2016

Springer International Publishing

Other Authors: “...Bubel, Richard...”

Cover Image

2

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

Published 2020

Springer International Publishing

Other Authors: “...Bubel, Richard...”

3

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

Published 2022

Springer International Publishing

Other Authors: “...Bubel, Richard...”