Fundamental approaches to software engineering: 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere beteiligte Personen: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2021]
|
| Schriftenreihe: | Theoretical computer science and general issues
12649 |
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-030-71500-7 https://directory.doabooks.org/handle/20.500.12854/67919 |
| Umfang: | 1 Online-Ressource |
| ISBN: | 9783030715007 |
| DOI: | 10.1007/978-3-030-71500-7 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047226251 | ||
| 003 | DE-604 | ||
| 005 | 20240903 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210407s2021 xx o|||| 10||| eng d | ||
| 020 | |a 9783030715007 |c Online |9 978-3-030-71500-7 | ||
| 024 | 7 | |a 10.1007/978-3-030-71500-7 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783030715007 | ||
| 035 | |a (ZDB-2-LNC)9783030715007 | ||
| 035 | |a (ZDB-2-SOB)9783030715007 | ||
| 035 | |a (OCoLC)1249664019 | ||
| 035 | |a (DE-599)BVBBV047226251 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-525 |a DE-12 |a DE-634 |a DE-210 |a DE-521 |a DE-1102 |a DE-1046 |a DE-858 |a DE-1028 |a DE-Aug4 |a DE-1050 |a DE-573 |a DE-M347 |a DE-92 |a DE-1051 |a DE-898 |a DE-859 |a DE-860 |a DE-1049 |a DE-861 |a DE-188 |a DE-863 |a DE-862 |a DE-523 |a DE-Re13 |a DE-Y3 |a DE-255 |a DE-Y7 |a DE-Y2 |a DE-70 |a DE-2174 |a DE-127 |a DE-22 |a DE-155 |a DE-150 |a DE-91 |a DE-384 |a DE-473 |a DE-19 |a DE-355 |a DE-703 |a DE-20 |a DE-706 |a DE-824 |a DE-29 |a DE-739 |a DE-235 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 310 |2 stub | ||
| 111 | 2 | |a FASE |n 24. |d 2021 |c Online |j Verfasser |0 (DE-588)1233760599 |4 aut | |
| 245 | 1 | 0 | |a Fundamental approaches to software engineering |b 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |c Esther Guerra, Mariëlle Stoelinga (eds.) |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2021] | |
| 264 | 4 | |c © 2021 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 12649 |a Theoretical computer science and general issues | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Computers | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Guerra, Esther |4 edt | |
| 700 | 1 | |a Stoelinga, Mariëlle |d 1972- |0 (DE-588)173551084 |4 edt | |
| 711 | 2 | |a ETAPS |n 24. |d 2021 |c Online |0 (DE-588)1232363162 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-030-71499-4 |
| 830 | 0 | |a Theoretical computer science and general issues |v 12649 |w (DE-604)BV014880109 |9 12649 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-030-71500-7 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u https://directory.doabooks.org/handle/20.500.12854/67919 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ZDB-94-OAB | ||
| 912 | |a ZDB-2-SOB | ||
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2021 | |
| 940 | 1 | |q ZDB-2-LNC_2021 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032630786 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2549441 |
|---|---|
| _version_ | 1821933554602344448 |
| adam_text | |
| any_adam_object | |
| author2 | Guerra, Esther Stoelinga, Mariëlle 1972- |
| author2_role | edt edt |
| author2_variant | e g eg m s ms |
| author_GND | (DE-588)173551084 |
| author_corporate | FASE Online |
| author_corporate_role | aut |
| author_facet | Guerra, Esther Stoelinga, Mariëlle 1972- FASE Online |
| author_sort | FASE Online |
| building | Verbundindex |
| bvnumber | BV047226251 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310 |
| collection | ZDB-94-OAB ZDB-2-SOB ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783030715007 (ZDB-2-LNC)9783030715007 (ZDB-2-SOB)9783030715007 (OCoLC)1249664019 (DE-599)BVBBV047226251 |
| 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-030-71500-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV047226251</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240903</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210407s2021 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030715007</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-71500-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-71500-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030715007</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030715007</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SOB)9783030715007</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1249664019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047226251</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-525</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-150</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-235</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">24.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1233760599</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamental approaches to software engineering</subfield><subfield code="b">24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings</subfield><subfield code="c">Esther Guerra, Mariëlle Stoelinga (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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">12649</subfield><subfield code="a">Theoretical computer science and general issues</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</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="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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Guerra, Esther</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stoelinga, Mariëlle</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)173551084</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">24.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="0">(DE-588)1232363162</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-030-71499-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Theoretical computer science and general issues</subfield><subfield code="v">12649</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">12649</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-71500-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://directory.doabooks.org/handle/20.500.12854/67919</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SOB</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2021</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2021</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032630786</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047226251 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:09:32Z |
| institution | BVB |
| institution_GND | (DE-588)1233760599 (DE-588)1232363162 |
| isbn | 9783030715007 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032630786 |
| oclc_num | 1249664019 |
| open_access_boolean | 1 |
| owner | DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235 |
| owner_facet | DE-525 DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-858 DE-1028 DE-Aug4 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-188 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-523 DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-150 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 DE-235 |
| physical | 1 Online-Ressource |
| psigel | ZDB-94-OAB ZDB-2-SOB ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2021 ZDB-2-LNC_2021 |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Theoretical computer science and general issues |
| series2 | Lecture notes in computer science Theoretical computer science and general issues |
| spellingShingle | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Theoretical computer science and general issues Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software engineering Data structures (Computer science) Natural language processing (Computer science) Computer programming Computers Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_auth | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_exact_search | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| title_full | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Esther Guerra, Mariëlle Stoelinga (eds.) |
| title_fullStr | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Esther Guerra, Mariëlle Stoelinga (eds.) |
| title_full_unstemmed | Fundamental approaches to software engineering 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings Esther Guerra, Mariëlle Stoelinga (eds.) |
| title_short | Fundamental approaches to software engineering |
| title_sort | fundamental approaches to software engineering 24th international conference fase 2021 held as part of the european joint conferences on theory and practice of software etaps 2021 luxembourg city luxembourg march 27 april 1 2021 proceedings |
| title_sub | 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings |
| topic | Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software engineering Data structures (Computer science) Natural language processing (Computer science) Computer programming Computers Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Data Structures and Information Theory Natural Language Processing (NLP) Programming Techniques Theory of Computation Software engineering Data structures (Computer science) Natural language processing (Computer science) Computer programming Computers Software Engineering Konferenzschrift 2021 Online |
| url | https://doi.org/10.1007/978-3-030-71500-7 https://directory.doabooks.org/handle/20.500.12854/67919 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT faseonline fundamentalapproachestosoftwareengineering24thinternationalconferencefase2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedings AT guerraesther fundamentalapproachestosoftwareengineering24thinternationalconferencefase2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedings AT stoelingamarielle fundamentalapproachestosoftwareengineering24thinternationalconferencefase2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedings AT etapsonline fundamentalapproachestosoftwareengineering24thinternationalconferencefase2021heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2021luxembourgcityluxembourgmarch27april12021proceedings |