SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74"
 

Sökning: onr:"swepub:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74" > The KeY Tool

The KeY Tool

Hähnle, Reiner, 1962 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Ahrendt, Wolfgang, 1967 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Baar, Thomas (författare)
visa fler...
Beckert, Bernhard (författare)
Bubel, Richard (författare)
Giese, Martin, 1970 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Menzel, Wolfram (författare)
Mostowski, Wojciech, 1976 (författare)
Chalmers tekniska högskola,Chalmers University of Technology
Roth, Andreas (författare)
Schlager, Steffen (författare)
Schmitt, Peter (författare)
visa färre...
 (creator_code:org_t)
2005
2005
Engelska.
Ingår i: Software and Systems Modeling. - 1619-1374 .- 1619-1366. ; 4:1, s. 32-54
Relaterad länk:
https://research.cha...
  • Tidskriftsartikel (refereegranskat)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences (hsv//eng)

Publikations- och innehållstyp

art (ämneskategori)
ref (ämneskategori)

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy