The KeY approach: Integrating object oriented design and formal verification (2000)

by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Haehnle, Wolfram Menzel, Peter H Schmitt
Venue:In Proceedings, 8th European Workshop on Logics in AI (JELIA), Malaga