The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt

Browse the full JELIA paper archive.