KeY: A Formal Method for Object-Oriented Systems
Paper i proceeding, 2007
Författare
Wolfgang Ahrendt
Chalmers, Data- och informationsteknik, Datavetenskap
Bernhard Beckert
Reiner Hähnle
Chalmers, Data- och informationsteknik, Datavetenskap
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
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)