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 Practice

Springer International Publishing AG2016-01-01
Deductive Software Verification : Future PerspectivesReflections on the Occasion of 20 Years of KeY

Springer 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 Birthday

Springer International Publishing AG2022-01-01