Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings Part 2

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CAV (VerfasserIn)
Weitere Verfasser:	Silva, Alexandra (HerausgeberIn), Leino, K. Rustan M. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12760
Schlagworte:	Konferenzschrift > Komplexitätstheorie > Entscheidungsverfahren > Software Engineering
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Band
Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings Part 2	2021	Part 2
Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings Part 1	2021	Part 1