The KeY Tool

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		01592naa a2200349 4500
001		oai:research.chalmers.se:06b5228d-372c-420e-8413-ab72e7597e74
003		SwePub
008		171006s2005 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://research.chalmers.se/publication/59872 URI
040		a (SwePub)cth
041		a eng
042		9 SwePub
072	7	a art2 swepub-publicationtype
072	7	a ref2 swepub-contenttype
100	1	a Hähnle, Reiner,d 1962u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)reiner
245	1 0	a The KeY Tool
264	1	c 2005
650	7	a NATURVETENSKAPx Data- och informationsvetenskap0 (SwePub)1022 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciences0 (SwePub)1022 hsv//eng
700	1	a Ahrendt, Wolfgang,d 1967u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)ahrendt
700	1	a Baar, Thomas4 aut
700	1	a Beckert, Bernhard4 aut
700	1	a Bubel, Richard4 aut
700	1	a Giese, Martin,d 1970u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)giese
700	1	a Menzel, Wolfram4 aut
700	1	a Mostowski, Wojciech,d 1976u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)woj
700	1	a Roth, Andreas4 aut
700	1	a Schlager, Steffen4 aut
700	1	a Schmitt, Peter4 aut
710	2	a Chalmers tekniska högskola4 org
773	0	t Software and Systems Modelingg 4:1, s. 32-54q 4:1<32-54x 1619-1374x 1619-1366
856	4 8	u https://research.chalmers.se/publication/5987

Av författaren/redakt...: Hähnle, Reiner, ...; Ahrendt, Wolfgan ...; Baar, Thomas; Beckert, Bernhar ...; Bubel, Richard; Giese, Martin, 1 ...; visa fler...; Menzel, Wolfram; Mostowski, Wojci ...; Roth, Andreas; Schlager, Steffe ...; Schmitt, Peter; visa färre...

Om ämnet

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.