Cargando…

Hardware and software: 13th international haifa verification conference, HVC 2017, Haifa, Israel, November 13-15, 2017, proceedings

Detalles Bibliográficos
Autores principales: Strichman, Ofer, Tzoref-Brill, Rachel
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756959