Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings

Detalles Bibliográficos
Autores principales: Bloem, Roderick, Arbel, Eli
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757742
_version_ 1780970010159611904
author Bloem, Roderick
Arbel, Eli
author_facet Bloem, Roderick
Arbel, Eli
author_sort Bloem, Roderick
collection CERN
id cern-2757742
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27577422021-04-21T16:41:01Zhttp://cds.cern.ch/record/2757742engBloem, RoderickArbel, EliHardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27577422016
spellingShingle XX
Bloem, Roderick
Arbel, Eli
Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title_full Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title_fullStr Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title_full_unstemmed Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title_short Hardware and software: 12th international Haifa verification conference, HVC 2016, Haifa, Israel, November 14-17, 2016, proceedings
title_sort hardware and software: 12th international haifa verification conference, hvc 2016, haifa, israel, november 14-17, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2757742
work_keys_str_mv AT bloemroderick hardwareandsoftware12thinternationalhaifaverificationconferencehvc2016haifaisraelnovember14172016proceedings
AT arbeleli hardwareandsoftware12thinternationalhaifaverificationconferencehvc2016haifaisraelnovember14172016proceedings

Ejemplares similares