@InProceedings{AhrendtBeckertEtAl2007,
author = {Wolfgang Ahrendt and Bernhard Beckert and Reiner H\"ahnle and
Philipp R\"ummer and Peter H. Schmitt},
title = {Verifying Object-Oriented Programs with {\KeY}: A Tutorial},
booktitle = {5th International Symposium on Formal Methods for Components
and Objects ({FMCO} 2006), Revised Lectures},
editor = {de Boer, Frank and Bonsangue, {Marcello M.} and Graf, Susanne and
de Roever, {Willem P.}},
publisher = {Springer},
series = {LNCS},
volume = {4709},
pages = {70--101},
venue = {Amsterdam, The Netherlands},
year = {2006},
month = nov,
eventdate = {2006-11-07/2006-11-10}
}
