Verfügbarkeit: Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture notes in computer science 4349
Schlagworte:	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift > 2007 > Nizza
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XI, 394 S. graph. Darst.
ISBN:	9783540697350 3540697357

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022278364
003	DE-604
005	20161005
007	t\|
008	070220s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 07,N04,0073 \|2 dnb
016	7		\|a 982454317 \|2 DE-101
020			\|a 9783540697350 \|c : ca. EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.) \|9 978-3-540-69735-0
020			\|a 3540697357 \|c : ca. EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.) \|9 3-540-69735-7
024	3		\|a 9783540697350
028	5	2	\|a 11973966
035			\|a (OCoLC)635202870
035			\|a (DE-599)BVBBV022278364
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-91G \|a DE-706 \|a DE-83 \|a DE-11
082	0		\|a 005.14 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 325f \|2 stub
245	1	0	\|a Verification, model checking, and abstract interpretation \|b 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings \|c Byron Cook ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a XI, 394 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 4349
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Interpretation \|0 (DE-588)4621153-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2007 \|z Nizza \|2 gnd-content
689	0	0	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	2		\|5 DE-604
689	3	0	\|a Abstrakte Interpretation \|0 (DE-588)4621153-6 \|D s
689	3		\|5 DE-604
689	4	0	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	4		\|5 DE-604
700	1		\|a Cook, Byron \|e Sonstige \|4 oth
711	2		\|a VMCAI \|n 8 \|d 2007 \|c Nizza \|j Sonstige \|0 (DE-588)6061819-X \|4 oth
830		0	\|a Lecture notes in computer science \|v 4349 \|w (DE-604)BV000000607 \|9 4349
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=2895030&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015488715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015488715

Datensatz im Suchindex

_version_	1826220028429598720
adam_text	BYRON COOK ANDREAS PODELSKI (EDS.) VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION 8TH INTERNATIONAL CONFERENCE, VMCAI 2007 NICE, FRANCE, JANUARY 14-16, 2007 PROCEEDINGS SPRINGER TABLE OF CONTENTS INVITED TALK DIVINE: DISCOVERING VARIABLES IN EXECUTABLES 1 GOGUL BALAKRISHNAN AND THOMAS REPS SESSION 1 VERIFYING COMPENSATING TRANSACTIONS 29 MICHAEL EMMI AND RUPAK MAJUMDAR MODEL CHECKING NONBLOCKING MPI PROGRAMS 44 STEPHEN F. SIEGEL MODEL CHECKING VIA TCFA 59 MATTHEW MIGHT, BENJAMIN CHAMBERS, AND OLIN SHIVERS USING FIRST-ORDER THEOREM PROVERS IN THE JAHOB DATA STRUCTURE VERIFICATION SYSTEM 74 CHARLES BOUUELAGUET, VIKTOR KUNCAK, THOMAS WIES, KAREN ZEE, AND MARTIN RINARD INVITED TUTORIAL INTERPOLANTS AND SYMBOLIC MODEL CHECKING 89 K.L. MCMILLAN SESSION 2 SHAPE ANALYSIS OF SINGLE-PARENT HEAPS 91 ITTAI BALABAN, AMIR PNUELI, AND LENORE D. ZUCK AN INFERENCE-RULE-BASED DECISION PROCEDURE FOR VERIFICATION OF HEAP-MANIPULATING PROGRAMS WITH MUTABLE DATA AND CYCLIC DATA STRUCTURES 106 ZVONIMIR RAKAMARIC, JESSE BINGHAM, AND ALAN J. HU ON FIAT PROGRAMS WITH LISTS 122 MARIUS BOZGA AND RADU IOSIF INVITED TALK AUTOMATA-THEORETIC MODEL CHECKING REVISITED MOSHE Y. VARDI 137 X TABLE OF CONTENTS SESSION 3 LANGUAGE-BASED ABSTRACTION REFINEMENT FOR HYBRID SYSTEM VERIFICATION 151 FELIX KLAEDTKE, STEFAN RATSCHAN, AND ZHIKUN SHE MORE PRECISE PARTITION ABSTRACTIONS 167 HARALD FECHER AND MICHAEL HUTH THE SPOTLIGHT PRINCIPLE 182 BJOERN WAECHTER AND BERND WESTPHAL LATTICE AUTOMATA 199 OMA KUPFERMAN AND YOAD LUSTIG INVITED TUTORIAL LEARNING ALGORITHMS AND FORMAL VERIFICATION 214 P. MADHUSUDAN SESSION 4 CONSTRUCTING SPECIALIZED SHAPE ANALYSES FOR UNIFORM CHANGE 215 TAL LEV-AMI, MOOLY SAGIV, NEIL IMMERMAN, AND THOMAS REPS MAINTAINING DOUBLY-LINKED LIST INVARIANTS IN SHAPE ANALYSIS WITH LOCAL REASONING 234 SIGMUND CHEREM AND RADU RUGINA AUTOMATED VERIFICATION OF SHAPE AND SIZE PROPERTIES VIA SEPARATION LOGIC 251 HUU HAI NGUYEN, CRISTINA DAVID, SHENGCHAO QIN, AND WEI-NGAN CHIN INVITED TALK TOWARDS SHAPE ANALYSIS FOR DEVICE DRIVERS 267 HONGSEOK YANG SESSION 5 AN ABSTRACT DOMAIN EXTENDING DIFFERENCE-BOUND MATRICES WITH DISEQUALITY CONSTRAINTS 268 MATHIAS PERON AND NICOLAS HALBWACHS CIBAI: AN ABSTRACT INTERPRETATION-BASED STATIC ANALYZER FOR MODULAR ANALYSIS AND VERIFICATION OF JAVA CLASSES 283 FRANCESCO LOGOZZO TABLE OF CONTENTS XI SYMMETRY AND COMPLETENESS IN THE ANALYSIS OF PARAMETERIZED SYSTEMS 299 KEDAR S. NAMJOSHI BETTER UNDER-APPROXIMATION OF PROGRAMS BY HIDING VARIABLES 314 THOMAS BALL AND OMA KUPFERMAN INVITED TUTORIAL THE CONSTRAINT DATABASE APPROACH TO SOFTWARE VERIFICATION 329 PETER REVESZ SESSION 6 CONSTRAINT SOLVING FOR INTERPOLATION 346 ANDREY RYBALCHENKO AND VIORICA SOFRONIE-STOKKERMANS ASSERTION CHECKING UNIFIED 363 SUMIT GULWANI AND ASHISH TIWARI INVARIANT SYNTHESIS FOR COMBINED THEORIES 378 DIRK BEYER, THOMAS A. HENZINGER, RUPAK MAJUMDAR, AND ANDREY RYBALCHENKO AUTHOR INDEX
adam_txt
any_adam_object	1
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022278364
classification_rvk	SS 4800
classification_tum	DAT 325f
ctrlnum	(OCoLC)635202870 (DE-599)BVBBV022278364
dewey-full	005.14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.14
dewey-search	005.14
dewey-sort	15.14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022278364</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161005</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">070220s2007 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N04,0073</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982454317</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540697350</subfield><subfield code="c">: ca. EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)</subfield><subfield code="9">978-3-540-69735-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540697357</subfield><subfield code="c">: ca. EUR 59.92 (freier Pr.), ca. sfr 99.00 (freier Pr.)</subfield><subfield code="9">3-540-69735-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540697350</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11973966</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635202870</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022278364</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, model checking, and abstract interpretation</subfield><subfield code="b">8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings</subfield><subfield code="c">Byron Cook ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 394 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4349</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2007</subfield><subfield code="z">Nizza</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cook, Byron</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VMCAI</subfield><subfield code="n">8</subfield><subfield code="d">2007</subfield><subfield code="c">Nizza</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6061819-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">4349</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4349</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2895030&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015488715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015488715</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Nizza gnd-content
genre_facet	Konferenzschrift 2007 Nizza
id	DE-604.BV022278364
illustrated	Illustrated
index_date	2024-07-02T16:48:35Z
indexdate	2025-03-10T15:05:35Z
institution	BVB
institution_GND	(DE-588)6061819-X
isbn	9783540697350 3540697357
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015488715
oclc_num	635202870
open_access_boolean
owner	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
owner_facet	DE-91G DE-BY-TUM DE-706 DE-83 DE-11
physical	XI, 394 S. graph. Darst.
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings Byron Cook ... (eds.) Berlin [u.a.] Springer 2007 XI, 394 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 4349 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Nizza gnd-content Programmanalyse (DE-588)4175841-9 s DE-604 Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Abstrakte Interpretation (DE-588)4621153-6 s Formale Methode (DE-588)4333722-3 s Cook, Byron Sonstige oth VMCAI 8 2007 Nizza Sonstige (DE-588)6061819-X oth Lecture notes in computer science 4349 (DE-604)BV000000607 4349 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2895030&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015488715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)4621153-6 (DE-588)1071861417
title	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
title_auth	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
title_exact_search	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
title_exact_search_txtP	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
title_full	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings Byron Cook ... (eds.)
title_fullStr	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings Byron Cook ... (eds.)
title_full_unstemmed	Verification, model checking, and abstract interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings Byron Cook ... (eds.)
title_short	Verification, model checking, and abstract interpretation
title_sort	verification model checking and abstract interpretation 8th international conference vmcai 2007 nice france january 14 16 2007 proceedings
title_sub	8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd
topic_facet	Formale Methode Programmanalyse Model Checking Programmverifikation Abstrakte Interpretation Konferenzschrift 2007 Nizza
url	http://deposit.dnb.de/cgi-bin/dokserv?id=2895030&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015488715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT cookbyron verificationmodelcheckingandabstractinterpretation8thinternationalconferencevmcai2007nicefrancejanuary14162007proceedings AT vmcainizza verificationmodelcheckingandabstractinterpretation8thinternationalconferencevmcai2007nicefrancejanuary14162007proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge