Verifying Object-Oriented Programs with KeY: A Tutorial

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer und Peter H. Schmitt
In:Revised Lectures, 5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)
Verleger:Springer
Reihe:LNCS 4709
Jahr:2007

BibTeX

@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 =    {Revised Lectures, 5th International Symposium on 
                  Formal Methods for Components and Objects (FMCO 2006)},
  editor =       {de Boer, F. and Bonsangue, M. and Graf, S. and 
                  de Roever, W.},
  publisher =    {Springer},
  series =       {LNCS 4709},
  place =        {Amsterdam, The Netherlands},
  year =         {2007}
}