@techreport{KeY2003,
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},
institution = {Department of Computing Science, Chalmers University
and G\"oteborg University, G\"oteborg, Sweden},
volume = {Technical Report in Computing Science},
number = {No.\ 2003-5},
month = feb,
year = {2003}
}
The KeY Tool
| 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 |
|---|---|
| Institution: | Department of Computing Science, Chalmers University and Göteborg University, Göteborg, Sweden |
| Nummer: | No. 2003-5 |
| Band: | Technical Report in Computing Science |
| Jahr: | 2003 |