Automated technology for verification and analysis 14th international symposium, ATVA 2016, Chiba, Japan, October 17 - 20, 2016 : proceedings

Bibliographische Detailangaben

Körperschaft:	ATVA (VerfasserIn)
Weitere Verfasser:	Artho, Cyrille (HerausgeberIn), Legay, Axel (HerausgeberIn), Peled, Doron (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2016
Schriftenreihe:	Lecture notes in computer science 9938
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!