Software Verification 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021 and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, revised selected papers

Bibliographische Detailangaben

Körperschaften:	VSTTE (VerfasserIn), NSV (VerfasserIn)
Weitere Verfasser:	Bloem, Roderick (HerausgeberIn), Dimitrova, Rayna (HerausgeberIn), Fan, Chuchu (HerausgeberIn), Sharygina, Natasha (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2022
Schriftenreihe:	Lecture notes in computer science 13124
Schlagworte:	Konferenzschrift > Programmierung > Mathematische Logik > Softwaretest
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!