@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)},
venue = {Malaga, Spain},
editor = {Ojeda-Aciego, M. and Guzman, I. P. de and Brewka,
G. and Pereira, L. M.},
publisher = {Springer},
series = {LNCS 1919},
eventdate = {2000-09-29/2000-10-02},
month = sep,
year = {2000},
doi = {10.1007/3-540-40006-0_3}
}
