Tests and proofs: third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5668 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 168 S. Ill. 24 cm |
| ISBN: | 9783642029486 3642029485 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035637756 | ||
| 003 | DE-604 | ||
| 005 | 20100811 | ||
| 007 | t| | ||
| 008 | 090721s2009 xx a||| |||| 10||| eng d | ||
| 015 | |a 09,N26,0074 |2 dnb | ||
| 016 | 7 | |a 99458797X |2 DE-101 | |
| 020 | |a 9783642029486 |c PB. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.) |9 978-3-642-02948-6 | ||
| 020 | |a 3642029485 |9 3-642-02948-5 | ||
| 024 | 3 | |a 9783642029486 | |
| 035 | |a (OCoLC)422688801 | ||
| 035 | |a (DE-599)DNB99458797X | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.T48 | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Tests and proofs |b third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings |c Catherine Dubois (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 168 S. |b Ill. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5668 | |
| 650 | 4 | |a Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> | |
| 650 | 4 | |a Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> | |
| 650 | 4 | |a Computer software |x Quality control |v Congresses | |
| 650 | 4 | |a Computer software |x Reliability |v Congresses | |
| 650 | 4 | |a Computer software |x Testing |v Congresses | |
| 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 Softwaresystem |0 (DE-588)4137282-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |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 2009 |z Zürich |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 Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | 3 | |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 Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Dubois, Catherine |e Sonstige |4 oth | |
| 711 | 2 | |a TAP |n 3 |d 2009 |c Zürich |j Sonstige |0 (DE-588)16014057-2 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5668 |w (DE-604)BV000000607 |9 5668 | |
| 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=017692599&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017692599 | |
Record in the Search Index
| _version_ | 1820875131486994432 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
SECURITY TESTING AND FORMAL METHODS FOR HIGH LEVELS CERTIFICATION OF
SMART CARDS 1
BOUTHEINA CHETALI
VERIFICATION, TESTING AND STATISTICS 6
ADITYA NORI AND SRIRAM K. RAJAMANI
DEVELOPMENT OF A GENERIC VOTER UNDER FOCAL 10
PHILIPPE AYRAULT, THERESE HARDIN, AND FRANCOIS PESSAUX
COMBINING SATISFIABILITY SOLVING AND HEURISTICS TO CONSTRAINED
COMBINATORIAL INTERACTION TESTING 27
ANDREA CALVAGNA AND ANGELO GARGANTINI
INCORPORATING HISTORICAL TEST CASE PERFORMANCE DATA AND RESOURCE
CONSTRAINTS INTO TEST CASE PRIORITIZATION 43
YALDA FAZLALIZADEH, ALIREZA KHALILIAN, MOHAMMAD ABDOLLAHI AZGOMI, AND
SAEED PARSA
COMPLEMENTARY CRITERIA FOR TESTING TEMPORAL LOGIC PROPERTIES 58 GORDON
FRAESER AND FRANZ WOTAWA
COULD WE HAVE CHOSEN A BETTER LOOP INVARIANT OR METHOD CONTRACT? 74
CHRISTOPH GLADISCH
CONSISTENCY, INDEPENDENCE AND CONSEQUENCESIN UML AND OCL MODELS 90
MARTIN GOGOLLA, MIRCO KUHLMANN, AND LARS HAMANN
DYNAMIC SYMBOLIC EXECUTION FOR TESTING DISTRIBUTED OBJECTS 105
ANDREAS GRIESMAYER, BERNHARD AICHERNIG, EINAR BROCH JOHNSEN, AND RUDOLF
SCHLATTE
COMBINING MODEL CHECKING AND TESTING IN A CONTINUOUS HW/SW
CO-VERIFICATION PROCESS 121
PAULA HERBER, FLORIAN FRIEDEMANN, AND SABINE GLESNER
SYMBOLIC EXECUTION BASED MODEL CHECKING OF OPEN SYSTEMS WITH UNBOUNDED
VARIABLES 137
NICOLAS RAPIN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/99458797X
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
FINDING ERRORS OF HYBRID SYSTEMS BY OPTIMISING AN ABSTRACTION-BASED
QUALITY ESTIMATE 153
STEFAN RATSCHAN AND JAN-GEORG SMAUS
AUTHOR INDEX 169 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035637756 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.T48 |
| callnumber-search | QA76.76.T48 |
| callnumber-sort | QA 276.76 T48 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 330f |
| ctrlnum | (OCoLC)422688801 (DE-599)DNB99458797X |
| 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 |
| 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">BV035637756</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100811</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090721s2009 xx a||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N26,0074</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">99458797X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642029486</subfield><subfield code="c">PB. : EUR 45.96 (freier Pr.), sfr 67.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02948-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642029485</subfield><subfield code="9">3-642-02948-5</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642029486</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)422688801</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB99458797X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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="050" ind1=" " ind2="0"><subfield code="a">QA76.76.T48</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 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tests and proofs</subfield><subfield code="b">third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings</subfield><subfield code="c">Catherine Dubois (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 168 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">24 cm</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">5668</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Quality control</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield><subfield code="v">Congresses</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">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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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">2009</subfield><subfield code="z">Zürich</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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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">Dubois, Catherine</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAP</subfield><subfield code="n">3</subfield><subfield code="d">2009</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16014057-2</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">5668</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5668</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=017692599&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-017692599</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Zürich gnd-content |
| genre_facet | Konferenzschrift 2009 Zürich |
| id | DE-604.BV035637756 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:45Z |
| institution | BVB |
| institution_GND | (DE-588)16014057-2 |
| isbn | 9783642029486 3642029485 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017692599 |
| oclc_num | 422688801 |
| 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 | X, 168 S. Ill. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings Catherine Dubois (ed.) Berlin ; Heidelberg [u.a.] Springer 2009 X, 168 S. Ill. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5668 Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> Computer software Quality control Congresses Computer software Reliability Congresses Computer software Testing Congresses 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 Softwaresystem (DE-588)4137282-7 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Zürich gnd-content Softwareentwicklung (DE-588)4116522-6 s Softwaretest (DE-588)4132652-0 s Korrektheit (DE-588)4240223-2 s Beweis (DE-588)4132532-1 s DE-604 Softwaresystem (DE-588)4137282-7 s Model Checking (DE-588)4434799-6 s Formale Methode (DE-588)4333722-3 s Dubois, Catherine Sonstige oth TAP 3 2009 Zürich Sonstige (DE-588)16014057-2 oth Lecture Notes in Computer Science 5668 (DE-604)BV000000607 5668 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692599&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings Lecture Notes in Computer Science Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> Computer software Quality control Congresses Computer software Reliability Congresses Computer software Testing Congresses 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 Softwaresystem (DE-588)4137282-7 gnd Korrektheit (DE-588)4240223-2 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)4137282-7 (DE-588)4240223-2 (DE-588)4132532-1 (DE-588)1071861417 |
| title | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings |
| title_auth | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings |
| title_exact_search | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings |
| title_full | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings Catherine Dubois (ed.) |
| title_fullStr | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings Catherine Dubois (ed.) |
| title_full_unstemmed | Tests and proofs third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings Catherine Dubois (ed.) |
| title_short | Tests and proofs |
| title_sort | tests and proofs third international conference tap 2009 zurich switzerland july 2 3 2009 proceedings |
| title_sub | third International Conference, TAP 2009, Zurich, Switzerland, July 2 - 3, 2009 ; proceedings |
| topic | Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> Computer software Quality control Congresses Computer software Reliability Congresses Computer software Testing Congresses 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 Softwaresystem (DE-588)4137282-7 gnd Korrektheit (DE-588)4240223-2 gnd Beweis (DE-588)4132532-1 gnd |
| topic_facet | Softwareentwicklung - Programmtest - Korrektheit - Beweis - Kongress - Zürich <2009> Softwaresystem - Model Checking - Formale Methode - Kongress - Zürich <2009> Computer software Quality control Congresses Computer software Reliability Congresses Computer software Testing Congresses Formale Methode Softwareentwicklung Model Checking Softwaretest Softwaresystem Korrektheit Beweis Konferenzschrift 2009 Zürich |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017692599&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT duboiscatherine testsandproofsthirdinternationalconferencetap2009zurichswitzerlandjuly232009proceedings AT tapzurich testsandproofsthirdinternationalconferencetap2009zurichswitzerlandjuly232009proceedings |