The KeY Tool

Technischer Bericht

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

BibTeX

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