Tests and proofs : 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings

Tests and proofs 14th International Conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22-23, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: TAP (VerfasserIn)
Weitere Verfasser: Ahrendt, Wolfgang (HerausgeberIn), Wehrheim, Heike (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12165
Schlagworte:
Computer software > Testing > Verification > Software engineering > Konferenzschrift > Software > Verifikation > Testen
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:viii, 179 Seiten
Diagramme
ISBN:9783030509941
978-3-030-50994-1