KeY: A Formal Method for Object-Oriented Systems
Paper in proceeding, 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