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
- Hähnle, Reiner,1962Chalmers tekniska högskola,Chalmers University of Technology (author)
The KeY Tool
- Article/chapterEnglish2005
Publisher, publication year, extent ...
- 2005
Numbers
- LIBRIS-ID:oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74
- https://research.chalmers.se/publication/5987URI
Supplementary language notes
- Language:English
Part of subdatabase
- SwePubSwePub
Classification
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)ahrendt (author)
- Baar, Thomas (author)
- Beckert, Bernhard (author)
- Bubel, Richard (author)
- Giese, Martin,1970Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)giese (author)
- Menzel, Wolfram (author)
- Mostowski, Wojciech,1976Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)woj (author)
- Roth, Andreas (author)
- Schlager, Steffen (author)
- Schmitt, Peter (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:Software and Systems Modeling4:1, s. 32-541619-13741619-1366
Internet link
Find in a library
- Software and Systems Modeling (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Hähnle, Reiner, ...
- Ahrendt, Wolfgan ...
- Baar, Thomas
- Beckert, Bernhar ...
- Bubel, Richard
- Giese, Martin, 1 ...
- show more...
- Menzel, Wolfram
- Mostowski, Wojci ...
- Roth, Andreas
- Schlager, Steffe ...
- Schmitt, Peter
- show less...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- Articles in the publication
- Software and Sys ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
