The KeY Tool
Artikel i vetenskaplig tidskrift, 2005

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Wolfgang Ahrendt

Chalmers, Data- och informationsteknik, Datavetenskap

Thomas Baar

Bernhard Beckert

Richard Bubel

Martin Giese

Chalmers, Data- och informationsteknik, Datavetenskap

Wolfram Menzel

Wojciech Mostowski

Chalmers, Data- och informationsteknik, Datavetenskap

Andreas Roth

Steffen Schlager

Peter Schmitt

Software and Systems Modeling

1619-1366 (ISSN) 1619-1374 (eISSN)

Vol. 4 1 32-54

Ämneskategorier

Data- och informationsvetenskap