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-54

Subject Categories

Computer and Information Science

More information

Created

10/6/2017