Hardware and software: verification and testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 ; proceedings

Bibliographische Detailangaben

Körperschaft:	HVC (BerichterstatterIn)
Weitere Verfasser:	Yahav, Eran (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham u.a. Springer 2014
Schriftenreihe:	Lecture notes in computer science 8855
Schlagworte:	Konferenzschrift > Hardwareverifikation > Programmverifikation
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!