Verification, model checking, and abstract interpretation 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings

Bibliographische Detailangaben

Körperschaft:	VMCAI (VerfasserIn)
Weitere Verfasser:	Henglein, Fritz (HerausgeberIn), Shoham, Sharon (HerausgeberIn), Vizel, Yakir (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 12597
Schlagworte:	Konferenzschrift > Model Checking > Verifikation > Verteiltes System
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!