Wolfgang Ahrendt

Identifiers

Open LibraryOL8005526A

Top Subjects

Computer software (1)

Books by Wolfgang Ahrendt

Total count: 5

Deductive Software Verification - the KeY BookFrom Theory to Practice

Springer International Publishing AG2016-01-01
Integrated Formal Methods15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Springer2019-11-15
Deductive Software Verification : Future PerspectivesReflections on the Occasion of 20 Years of KeY

Springer International Publishing AG2020-01-01
Tests and Proofs14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Springer2020-06-20
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