Preface

Frédéric Loulergue; Franz Wotawa

doi:10.1007/978-3-030-79379-1

Preface

Frédéric Loulergue, Franz Wotawa

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review

Original language	English
Title of host publication	Tests and Proofs
Subtitle of host publication	15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings
Editors	Frédéric Loulergue, Franz Wotawa
Place of Publication	Cham
Publisher	Springer
Pages	v-vi
ISBN (Electronic)	978-3-030-79379-1
ISBN (Print)	978-3-030-79378-4
DOIs	https://doi.org/10.1007/978-3-030-79379-1
Publication status	Published - 2021
Event	15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021: TAP 2021 - Virtuell, Austria Duration: 21 Jun 2021 → 22 Jun 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	12740
ISSN (Print)	0302-9743

Conference

Conference	15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021
Abbreviated title	TAP 2021
Country/Territory	Austria
City	Virtuell
Period	21/06/21 → 22/06/21

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-030-79379-1

https://link.springer.com/content/pdf/bfm%3A978-3-030-79379-1%2F1.pdf

Cite this

Loulergue, F., & Wotawa, F. (2021). Preface. In F. Loulergue, & F. Wotawa (Eds.), Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12740). Springer. https://doi.org/10.1007/978-3-030-79379-1

Preface. / Loulergue, Frédéric; Wotawa, Franz.
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings. ed. / Frédéric Loulergue; Franz Wotawa. Cham: Springer, 2021. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12740).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › peer-review

Loulergue, F & Wotawa, F 2021, Preface. in F Loulergue & F Wotawa (eds), Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12740, Springer, Cham, pp. v-vi, 15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021, Virtuell, Austria, 21/06/21. https://doi.org/10.1007/978-3-030-79379-1

Loulergue F, Wotawa F. Preface. In Loulergue F, Wotawa F, editors, Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings. Cham: Springer. 2021. p. v-vi. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-79379-1

Loulergue, Frédéric ; Wotawa, Franz. / Preface. Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings. editor / Frédéric Loulergue ; Franz Wotawa. Cham : Springer, 2021. pp. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{d17b8f2af9a84f6cb65933dbc879a48c,

title = "Preface",

author = "Fr{\'e}d{\'e}ric Loulergue and Franz Wotawa",

year = "2021",

doi = "10.1007/978-3-030-79379-1",

language = "English",

isbn = "978-3-030-79378-4",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "v--vi",

editor = "Loulergue, {Fr{\'e}d{\'e}ric } and Franz Wotawa",

booktitle = "Tests and Proofs",

note = "15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021 : TAP 2021 , TAP 2021 ; Conference date: 21-06-2021 Through 22-06-2021",

}

TY - CHAP

T1 - Preface

AU - Loulergue, Frédéric

AU - Wotawa, Franz

PY - 2021

Y1 - 2021

UR - http://www.scopus.com/inward/record.url?scp=85111461323&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-79379-1

DO - 10.1007/978-3-030-79379-1

M3 - Foreword/postscript

AN - SCOPUS:85111461323

SN - 978-3-030-79378-4

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Tests and Proofs

A2 - Loulergue, Frédéric

A2 - Wotawa, Franz

PB - Springer

CY - Cham

T2 - 15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021

Y2 - 21 June 2021 through 22 June 2021

ER -

Preface

Publication series

Conference

ASJC Scopus subject areas

Fields of Expertise

Access to Document

Other files and links

Cite this