Deductive Software Verification – The KeY Book

@inproceedings{Ahrendt2016DeductiveSV,
  title={Deductive Software Verification – The KeY Book},
  author={Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"a}hnle and Peter H. Schmitt and Mattias Ulbrich},
  booktitle={Lecture Notes in Computer Science},
  year={2016}
}
Interpretation Nathan Wasser, Reiner Hähnle and Richard Bubel 
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS

From This Paper

Topics from this paper.
17 Citations
344 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 344 references

Draft Revision 2344

  • Gary T. Leavens, Erik Poll, +8 authors Werner Dietl
  • JML Reference Manual, May 31,
  • 2013
Highly Influential
20 Excerpts

The Object Constraint Language: Precise Modelling with UML

  • Jos Warmer, Anneke Kleppe
  • Object Technology Series. Addison-Wesley, Reading…
  • 1999
Highly Influential
12 Excerpts

Similar Papers

Loading similar papers…