Verifying Object-Oriented Programs with KeY: A Tutorial

@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}
}