Richard Bubel
Identifiers
- Open LibraryOL10257390A
Top Subjects
- Computer software (1)
Books by Richard Bubel
Total count: 3
-
Deductive Software Verification - the KeY BookFrom Theory to PracticeSpringer International Publishing AG2016-01-01
-
Deductive Software Verification : Future PerspectivesReflections on the Occasion of 20 Years of KeYSpringer International Publishing AG2020-01-01
Logic of Software. a Tasting Menu of Formal MethodsEssays Dedicated to Reiner Hähnle on the Occasion of His 60th BirthdaySpringer International Publishing AG2022-01-01