Cargando…

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings

Detalles Bibliográficos
Autores principales: Lahiri, Shuvendu K, Wang, Chao
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761563
_version_ 1780970549516697600
author Lahiri, Shuvendu K
Wang, Chao
author_facet Lahiri, Shuvendu K
Wang, Chao
author_sort Lahiri, Shuvendu K
collection CERN
id cern-2761563
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27615632021-04-21T16:39:34Zhttp://cds.cern.ch/record/2761563engLahiri, Shuvendu KWang, ChaoAutomated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27615632018
spellingShingle XX
Lahiri, Shuvendu K
Wang, Chao
Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title_full Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title_fullStr Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title_full_unstemmed Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title_short Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
title_sort automated technology for verification and analysis: 16th international symposium, atva 2018, los angeles, ca, usa, october 7-10, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2761563
work_keys_str_mv AT lahirishuvenduk automatedtechnologyforverificationandanalysis16thinternationalsymposiumatva2018losangelescausaoctober7102018proceedings
AT wangchao automatedtechnologyforverificationandanalysis16thinternationalsymposiumatva2018losangelescausaoctober7102018proceedings