Hardware and software: verification and testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	HVC (VerfasserIn)
Weitere Verfasser:	Bloem, Roderick (HerausgeberIn), Arbel, Eli (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2016
Schriftenreihe:	Lecture notes in computer science 10028
Schlagworte:	Konferenzschrift > Hardwareverifikation > Programmverifikation > Softwaretest > Model Checking
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!