SwePub
Sök i LIBRIS databas

  Extended search

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

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

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

The KeY Tool

Hähnle, Reiner, 1962 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Ahrendt, Wolfgang, 1967 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Baar, Thomas (author)
show more...
Beckert, Bernhard (author)
Bubel, Richard (author)
Giese, Martin, 1970 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Menzel, Wolfram (author)
Mostowski, Wojciech, 1976 (author)
Chalmers tekniska högskola,Chalmers University of Technology
Roth, Andreas (author)
Schlager, Steffen (author)
Schmitt, Peter (author)
show less...
 (creator_code:org_t)
2005
2005
English.
In: Software and Systems Modeling. - 1619-1374 .- 1619-1366. ; 4:1, s. 32-54
Related links:
https://research.cha...
  • Journal article (peer-reviewed)
Subject headings
Close  

Subject headings

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

Publication and Content Type

art (subject category)
ref (subject category)

Find in a library

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

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 Close

Copy and save the link in order to return to this view