Software verification: 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2022]
|
| Series: | Lecture notes in computer science
13124 |
| Subjects: | |
| Physical Description: | xiv, 197 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030955601 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047874927 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220309s2022 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030955601 |9 978-3-030-95560-1 | ||
| 035 | |a (OCoLC)1304474557 | ||
| 035 | |a (DE-599)BVBBV047874927 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 245 | 1 | 0 | |a Software verification |b 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |c Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a xiv, 197 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 13124 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 2 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | 1 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 2 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Bloem, Roderick |0 (DE-588)1044944110 |4 edt | |
| 711 | 2 | |a VSTTE |n 13. |d 2021 |c Online |0 (DE-588)1253173400 |4 oth | |
| 711 | 2 | |a NSV |n 14. |d 2021 |c Online |0 (DE-588)1253173672 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-95561-8 |
| 830 | 0 | |a Lecture notes in computer science |v 13124 |w (DE-604)BV000000607 |9 13124 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033257360 | |
Record in the Search Index
| _version_ | 1820875810622406656 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Bloem, Roderick |
| author2_role | edt |
| author2_variant | r b rb |
| author_GND | (DE-588)1044944110 |
| author_facet | Bloem, Roderick |
| building | Verbundindex |
| bvnumber | BV047874927 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1304474557 (DE-599)BVBBV047874927 |
| 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 a2200000zcb4500</leader><controlfield tag="001">BV047874927</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220309s2022 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030955601</subfield><subfield code="9">978-3-030-95560-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1304474557</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047874927</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software verification</subfield><subfield code="b">13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers</subfield><subfield code="c">Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 197 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">13124</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">Computer</subfield><subfield code="0">(DE-588)4070083-5</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-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">2021</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-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">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="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="689" ind1="2" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bloem, Roderick</subfield><subfield code="0">(DE-588)1044944110</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">VSTTE</subfield><subfield code="n">13.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1253173400</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">NSV</subfield><subfield code="n">14.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1253173672</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-95561-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13124</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13124</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033257360</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047874927 |
| illustrated | Illustrated |
| index_date | 2024-07-03T19:21:04Z |
| indexdate | 2025-01-10T15:21:33Z |
| institution | BVB |
| institution_GND | (DE-588)1253173400 (DE-588)1253173672 |
| isbn | 9783030955601 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033257360 |
| oclc_num | 1304474557 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 197 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.) Cham Springer [2022] xiv, 197 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13124 Formale Methode (DE-588)4333722-3 gnd rswk-swf Computer (DE-588)4070083-5 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Verifikation (DE-588)4135577-5 s Softwarespezifikation (DE-588)4056186-0 s Spezifikationssprache (DE-588)4182217-1 s DE-604 Softwaretest (DE-588)4132652-0 s Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Formale Methode (DE-588)4333722-3 s Software Engineering (DE-588)4116521-4 s Computer (DE-588)4070083-5 s Logik (DE-588)4036202-4 s Bloem, Roderick (DE-588)1044944110 edt VSTTE 13. 2021 Online (DE-588)1253173400 oth NSV 14. 2021 Online (DE-588)1253173672 oth Erscheint auch als Online-Ausgabe 978-3-030-95561-8 Lecture notes in computer science 13124 (DE-604)BV000000607 13124 |
| spellingShingle | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Computer (DE-588)4070083-5 gnd Programmanalyse (DE-588)4175841-9 gnd Logik (DE-588)4036202-4 gnd Programmverifikation (DE-588)4135576-3 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4070083-5 (DE-588)4175841-9 (DE-588)4036202-4 (DE-588)4135576-3 (DE-588)4056186-0 (DE-588)4132652-0 (DE-588)4116521-4 (DE-588)4135577-5 (DE-588)4182217-1 (DE-588)1071861417 |
| title | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |
| title_auth | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |
| title_exact_search | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |
| title_exact_search_txtP | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |
| title_full | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.) |
| title_fullStr | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.) |
| title_full_unstemmed | Software verification 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers Roderick Bloem ; Rayna Dimitrova ; Chuchu Fan ; Natasha Sharygina (eds.) |
| title_short | Software verification |
| title_sort | software verification 13th international conference vstte 2021 new haven ct usa october 18 19 2021 and 14th international workshop nsv 2021 los angeles ca usa july 18 19 2021 revised selected papers |
| title_sub | 13th international conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021 and 14th international workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021 : revised selected papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Computer (DE-588)4070083-5 gnd Programmanalyse (DE-588)4175841-9 gnd Logik (DE-588)4036202-4 gnd Programmverifikation (DE-588)4135576-3 gnd Softwarespezifikation (DE-588)4056186-0 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Verifikation (DE-588)4135577-5 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Formale Methode Computer Programmanalyse Logik Programmverifikation Softwarespezifikation Softwaretest Software Engineering Verifikation Spezifikationssprache Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bloemroderick softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT vstteonline softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers AT nsvonline softwareverification13thinternationalconferencevstte2021newhavenctusaoctober18192021and14thinternationalworkshopnsv2021losangelescausajuly18192021revisedselectedpapers |