Tools and algorithms for the construction and analysis of systems Part 1

Bibliographische Detailangaben

Körperschaften:	TACAS (VerfasserIn), ETAPS (VerfasserIn)
Weitere Verfasser:	Biere, Armin (HerausgeberIn), Parker, David (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12078
Schlagworte:	Konferenzschrift > Programmverifikation
Online Zugang:	Cover Inhaltsverzeichnis Zugehörige Videos
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!