↓ Skip to main content

Deductive Software Verification – The KeY Book

Overview of attention for book
Attention for Chapter 1: Quo Vadis Formal Verification?
Altmetric Badge

Citations

dimensions_citation
216 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Quo Vadis Formal Verification?
Chapter number 1
Book title
Deductive Software Verification – The KeY Book
Published in
Lecture notes in computer science, December 2016
DOI 10.1007/978-3-319-49812-6_1
Book ISBNs
978-3-31-949811-9, 978-3-31-949812-6
Authors

Reiner Hähnle

Editors

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich