Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt (editor), Bernhard Beckert (editor), Richard Bubel (editor), Reiner Hähnle (editor), Mattias Ulbrich (editor)
Paperback Published on: 09/12/2020
Price: £44.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030643539
- Number of pages: 339
- Dimensions: 235 x 155 mm
- Languages: English