@STRING{spv = "Springer"}
@STRING{lncs = "LNCS"}
@STRING{lnai = "LNAI"}

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