@InProceedings{AhrendtBaarBeckertEA2000, author = {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert and Martin Giese and Elmar Habermalz and Reiner H\"ahnle and Wolfram Menzel and Peter H. Schmitt}, title = {The {\KeY} Approach: {I}ntegrating Object Oriented Design and Formal Verification}, booktitle = {European Workshop on Logics in Artificial Intelligence ({JELIA} 2000)}, place = {Malaga, Spain}, editor = {Ojeda-Aciego, M. and Guzman, I. P. de and Brewka, G. and Pereira, L. M.}, publisher = {Springer}, series = {LNCS 1919}, date = {September 29 - October 2}, month = sep, year = {2000}, doi = {10.1007/3-540-40006-0_3} }