Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings

Detalles Bibliográficos
Autores principales: Dillig, Isil, Palsberg, Jens
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761509
_version_ 1780970537914204160
author Dillig, Isil
Palsberg, Jens
author_facet Dillig, Isil
Palsberg, Jens
author_sort Dillig, Isil
collection CERN
id cern-2761509
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27615092021-04-21T16:39:36Zhttp://cds.cern.ch/record/2761509engDillig, IsilPalsberg, JensVerification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27615092018
spellingShingle XX
Dillig, Isil
Palsberg, Jens
Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title_full Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title_fullStr Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title_full_unstemmed Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title_short Verification, model checking, and abstract interpretation: 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings
title_sort verification, model checking, and abstract interpretation: 19th international conference, vmcai 2018, los angeles, ca, usa, january 7-9, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2761509
work_keys_str_mv AT dilligisil verificationmodelcheckingandabstractinterpretation19thinternationalconferencevmcai2018losangelescausajanuary792018proceedings
AT palsbergjens verificationmodelcheckingandabstractinterpretation19thinternationalconferencevmcai2018losangelescausajanuary792018proceedings

Ejemplares similares