Tests and proofs : 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Tests and proofs 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: TAP (VerfasserIn), STAF (VerfasserIn)
Weitere Verfasser: Kovács, Laura (HerausgeberIn), Meinke, Karl (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2022
Schriftenreihe:Lecture notes in computer science 13361
Schlagworte:
Software engineering > Computer software > Testing > Konferenzschrift > Softwaretest > Mathematische Logik > Model Checking
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:viii, 125 Seiten
illustrations (black and white)
24 cm
ISBN:9783031098260
978-3-031-09826-0