Deductive Software Verification - the KeY Book
Deductive Software Verification - the KeY Book2016
Reiner Hähnle, Wolfgang Ahrendt, Peter H. Schmitt, Bernhard Beckert, Richard Bubel
Details
- First published
- 2016
- OL Work ID
- OL27388605W
Subjects
Computer software