Sökning: onr:"swepub:oai:research.chalmers.se:005157f7-18b3-4ea1-8ed4-d6f0cc4f11a1" >
KeY: A Formal Metho...
KeY: A Formal Method for Object-Oriented Systems
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
Beckert, Bernhard (författare)
-
- Hähnle, Reiner, 1962 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
Schmitt, Peter H. (författare)
-
visa färre...
-
(creator_code:org_t)
- 2007
- 2007
- Engelska.
-
Ingår i: 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. ; 4468, s. 32-43
- Relaterad länk:
-
https://research.cha...
Ämnesord
Stäng
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)