Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings

Detalles Bibliográficos
Autores principales: Enea, Constantin, Piskac, Ruzica
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755306
_version_ 1780969610073341952
author Enea, Constantin
Piskac, Ruzica
author_facet Enea, Constantin
Piskac, Ruzica
author_sort Enea, Constantin
collection CERN
id cern-2755306
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27553062021-04-21T16:42:36Zhttp://cds.cern.ch/record/2755306engEnea, ConstantinPiskac, RuzicaVerification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27553062019
spellingShingle XX
Enea, Constantin
Piskac, Ruzica
Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title_full Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title_fullStr Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title_full_unstemmed Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title_short Verification, model checking, and abstract interpretation: 20th international conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, proceedings
title_sort verification, model checking, and abstract interpretation: 20th international conference, vmcai 2019, cascais, portugal, january 13-15, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755306
work_keys_str_mv AT eneaconstantin verificationmodelcheckingandabstractinterpretation20thinternationalconferencevmcai2019cascaisportugaljanuary13152019proceedings
AT piskacruzica verificationmodelcheckingandabstractinterpretation20thinternationalconferencevmcai2019cascaisportugaljanuary13152019proceedings

Ejemplares similares