Tests and proofs: 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
7942 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (X, 231 S.) Ill., graph. Darst. |
| ISBN: | 9783642389153 9783642389160 |
| DOI: | 10.1007/978-3-642-38916-0 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041406441 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131111s2013 gw ad|| o|||| 10||| eng d | ||
| 020 | |a 9783642389153 |9 978-3-642-38915-3 | ||
| 020 | |a 9783642389160 |c eISBN |9 978-3-642-38916-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-38916-0 |2 doi | |
| 035 | |a (OCoLC)855544028 | ||
| 035 | |a (DE-599)BVBBV041406441 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Tests and proofs |b 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings |c Margus Veanes ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (X, 231 S.) |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7942 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweis |0 (DE-588)4132532-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Budapest |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 2 | |a Beweis |0 (DE-588)4132532-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaresystem |0 (DE-588)4137282-7 |D s |
| 689 | 1 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Veanes, Margus |4 edt | |
| 711 | 2 | |a TAP |n 7 |d 2013 |c Budapest |j Sonstige |0 (DE-588)1036799425 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 7942 |w (DE-604)BV014880109 |9 7942 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-38916-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026853834 | |
Datensatz im Suchindex
| _version_ | 1820875517753032704 |
|---|---|
| adam_text |
TESTS AND PROOFS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INCREMENTAL REFINEMENT CHECKING FOR TEST CASE GENERATION
TIME FOR MUTANTS — MODEL-BASED MUTATION TESTING WITH TIMED AUTOMATA
MODEL-BASED TESTING FOR VERIFICATION BACK-ENDS
A METRIC FOR TESTING PROGRAM VERIFICATION SYSTEMS
TEST PROGRAM GENERATION FOR A MICROPROCESSOR: A CASE-STUDY
A DECLARATIVE DEBUGGER FOR SEQUENTIAL ERLANG PROGRAMS
INITIATING A BENCHMARK FOR UML AND OCL ANALYSIS TOOLS
SPEEDING UP ALGORITHMIC DEBUGGING USING BALANCED EXECUTION TREES
GENERATING TEST SUITES WITH AUGMENTED DYNAMIC SYMBOLIC EXECUTION
DIVERGENT QUIESCENT TRANSITION SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TESTS AND PROOFS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 7TH INTERNATIONAL
CONFERENCE ON TEST AND PROOFS, TAP 2013, HELD IN BUDAPEST, HUNGARY, IN
JUNE 2013, AS PART OF THE STAF 2013 FEDERATED CONFERENCES. THE 12
REVISED FULL PAPERS PRESENTED TOGETHER WITH ONE TUTORIAL WERE CAREFULLY
REVIEWED AND SELECTED FROM 24 SUBMISSIONS. THE PAPERS ARE DEVOTED TO THE
SYNERGY OF PROOFS AND TESTS, TO THE APPLICATION OF TECHNIQUES FROM BOTH
SIDES AND THEIR COMBINATION FOR THE ADVANCEMENT OF SOFTWARE QUALITY. THE
PAPERS ARE RELATED TO THE FOLLOWING TOPICS: TEST GENERATION; MODEL-BASED
TESTING AND MUTANTS; DECLARATIVE DEBUGGING; AND TOOL TESTING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Veanes, Margus |
| author2_role | edt |
| author2_variant | m v mv |
| author_facet | Veanes, Margus |
| building | Verbundindex |
| bvnumber | BV041406441 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)855544028 (DE-599)BVBBV041406441 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-38916-0 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041406441</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131111s2013 gw ad|| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642389153</subfield><subfield code="9">978-3-642-38915-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642389160</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-38916-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38916-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)855544028</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041406441</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-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings</subfield><subfield code="c">Margus Veanes ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 231 S.)</subfield><subfield code="b">Ill., 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">7942</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">2013</subfield><subfield code="z">Budapest</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</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">Softwaresystem</subfield><subfield code="0">(DE-588)4137282-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Veanes, Margus</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">7</subfield><subfield code="d">2013</subfield><subfield code="c">Budapest</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036799425</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">7942</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7942</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38916-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026853834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026853834&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026853834</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Budapest gnd-content |
| genre_facet | Konferenzschrift 2013 Budapest |
| id | DE-604.BV041406441 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:16:52Z |
| institution | BVB |
| institution_GND | (DE-588)1036799425 |
| isbn | 9783642389153 9783642389160 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026853834 |
| oclc_num | 855544028 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (X, 231 S.) Ill., graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings Margus Veanes ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (X, 231 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7942 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwaresystem (DE-588)4137282-7 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Budapest gnd-content Softwareentwicklung (DE-588)4116522-6 s Softwaretest (DE-588)4132652-0 s Beweis (DE-588)4132532-1 s DE-604 Softwaresystem (DE-588)4137282-7 s Programmverifikation (DE-588)4135576-3 s Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Veanes, Margus edt TAP 7 2013 Budapest Sonstige (DE-588)1036799425 oth Lecture notes in computer science 7942 (DE-604)BV014880109 7942 https://doi.org/10.1007/978-3-642-38916-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135576-3 (DE-588)4137282-7 (DE-588)4132532-1 (DE-588)1071861417 |
| title | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings |
| title_auth | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings |
| title_exact_search | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings |
| title_full | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings Margus Veanes ... (eds.) |
| title_fullStr | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings Margus Veanes ... (eds.) |
| title_full_unstemmed | Tests and proofs 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings Margus Veanes ... (eds.) |
| title_short | Tests and proofs |
| title_sort | tests and proofs 7th international conference tap 2013 budapest hungary june 16 20 2013 proceedings |
| title_sub | 7th international conference, TAP 2013, Budapest, Hungary, June 16 - 20, 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Programmverifikation (DE-588)4135576-3 gnd Softwaresystem (DE-588)4137282-7 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Formale Methode Softwareentwicklung Model Checking Softwaretest Programmverifikation Softwaresystem Beweis Konferenzschrift 2013 Budapest |
| url | https://doi.org/10.1007/978-3-642-38916-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026853834&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT veanesmargus testsandproofs7thinternationalconferencetap2013budapesthungaryjune16202013proceedings AT tapbudapest testsandproofs7thinternationalconferencetap2013budapesthungaryjune16202013proceedings |