Cargando…
Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
Autores principales: | , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2018
|
Materias: | |
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 |