Preface

Frédéric Loulergue, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortBegutachtung

Originalspracheenglisch
TitelTests and Proofs
Untertitel15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings
Redakteure/-innenFrédéric Loulergue, Franz Wotawa
ErscheinungsortCham
Herausgeber (Verlag)Springer
Seitenv-vi
ISBN (elektronisch)978-3-030-79379-1
ISBN (Print)978-3-030-79378-4
DOIs
PublikationsstatusVeröffentlicht - 2021
Veranstaltung15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021: TAP 2021 - Virtuell, Österreich
Dauer: 21 Juni 202122 Juni 2021

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Herausgeber (Verlag)Springer Verlag
Band12740
ISSN (Print)0302-9743

Konferenz

Konferenz15th International Conference on Tests and Proofs, TAP 2021 held as part of Software Technologies: Applications and Foundations, STAF 2021
KurztitelTAP 2021
Land/GebietÖsterreich
OrtVirtuell
Zeitraum21/06/2122/06/21

ASJC Scopus subject areas

  • Theoretische Informatik
  • Informatik (insg.)

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren