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)