@InProceedings{fmcoKeYTutorial06,
  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, Amsterdam, The Netherlands},
  year =         2007,
  volume =       4709,
  pages =        {70--101},
  series =       "LNCS",
  publisher =    "Springer"
}