Deductive Software Verification – The KeY Book

By Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, P. Schmitt, Mattias Ulbrich. Lecture Notes in Computer Science, 2016

318 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/30de2cdd5fa19f2ced1cfcab1c4ea60632f2889e