Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle · 2017
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2017
- Language
- English
- Publisher
- Springer
- Editions
- 2
- ISBN
- 9783319498126
Data source: Wikidata
More by Wolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal MethodsWolfgang Ahrendt
Logic of Software. a Tasting Menu of Formal Methods
Wolfgang Ahrendt · 2022
Tests and ProofsWolfgang Ahrendt
Tests and Proofs
Wolfgang Ahrendt · 2020
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Integrated Formal MethodsWolfgang Ahrendt
Integrated Formal Methods
Wolfgang Ahrendt · 2019