@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} }
The KeY Tool
Author(s): | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt |
---|---|
Journal: | Software and System Modeling |
Publisher: | Springer |
Number: | 1 |
Volume: | 4 |
Year: | 2005 |
Pages: | 32-54 |