The KeY Tool
Journal article, 2005
Author
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Thomas Baar
Bernhard Beckert
Richard Bubel
Martin Giese
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Wolfram Menzel
Wojciech Mostowski
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Andreas Roth
Steffen Schlager
Peter Schmitt
Software and Systems Modeling
1619-1366 (ISSN) 1619-1374 (eISSN)
Vol. 4 1 32-54Subject Categories
Computer and Information Science