KeY: A Formal Method for Object-Oriented Systems
Paper in proceedings, 2007

Author

Wolfgang Ahrendt

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Bernhard Beckert

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Peter H. Schmitt

Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen

Vol. 4468 32-43

Subject Categories

Software Engineering

Computer Science

More information

Created

10/6/2017