The KeY Tool

Zeitschriftenartikel

Autor(en):Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager und Peter H. Schmitt
Zeitschrift:Software and System Modeling
Verleger:Springer
Band:4
Jahr:2005
Nummer:1
Seiten:32-54

BibTeX

@article{KeY2005,
  author        = {Wolfgang Ahrendt and Thomas Baar and 
                   Bernhard Beckert and Richard Bubel and 
                   Martin Giese and Reiner H\"ahnle and 
                   Wolfram Menzel and Wojciech Mostowski and 
                   Andreas Roth and Steffen Schlager and 
                   Peter H. Schmitt},
  title        = {The {\KeY} Tool},
  journal      = {Software and System Modeling},  
  volume       = {4},
  number       = {1},
  pages        = {32--54},
  year         = {2005}, 
  publisher    = {Springer}
}