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

Detalles Bibliográficos
Autores principales: Artho, Cyrille, Legay, Axel, Peled, Doron
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761683
_version_ 1780970579316178944
author Artho, Cyrille
Legay, Axel
Peled, Doron
author_facet Artho, Cyrille
Legay, Axel
Peled, Doron
author_sort Artho, Cyrille
collection CERN
id cern-2761683
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27616832021-04-21T16:39:28Zhttp://cds.cern.ch/record/2761683engArtho, CyrilleLegay, AxelPeled, DoronAutomated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27616832016
spellingShingle XX
Artho, Cyrille
Legay, Axel
Peled, Doron
Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title_full Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title_fullStr Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title_full_unstemmed Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title_short Automated technology for verification and analysis: 14th international symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, proceedings
title_sort automated technology for verification and analysis: 14th international symposium, atva 2016, chiba, japan, october 17-20, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2761683
work_keys_str_mv AT arthocyrille automatedtechnologyforverificationandanalysis14thinternationalsymposiumatva2016chibajapanoctober17202016proceedings
AT legayaxel automatedtechnologyforverificationandanalysis14thinternationalsymposiumatva2016chibajapanoctober17202016proceedings
AT peleddoron automatedtechnologyforverificationandanalysis14thinternationalsymposiumatva2016chibajapanoctober17202016proceedings

Ejemplares similares