Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings

Detalles Bibliográficos
Autores principales: Beyer, Dirk, Zufferey, Damien
Lenguaje:eng
Publicado: Springer International Publishing AG 2020
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760742
_version_ 1780970404485005312
author Beyer, Dirk
Zufferey, Damien
author_facet Beyer, Dirk
Zufferey, Damien
author_sort Beyer, Dirk
collection CERN
id cern-2760742
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2020
publisher Springer International Publishing AG
record_format invenio
spelling cern-27607422021-04-21T16:40:00Zhttp://cds.cern.ch/record/2760742engBeyer, DirkZufferey, DamienVerification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27607422020
spellingShingle XX
Beyer, Dirk
Zufferey, Damien
Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title_full Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title_fullStr Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title_full_unstemmed Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title_short Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, proceedings
title_sort verification, model checking, and abstract interpretation: 21st international conference, vmcai 2020, new orleans, la, usa, january 16-21, 2020, proceedings
topic XX
url http://cds.cern.ch/record/2760742
work_keys_str_mv AT beyerdirk verificationmodelcheckingandabstractinterpretation21stinternationalconferencevmcai2020neworleanslausajanuary16212020proceedings
AT zuffereydamien verificationmodelcheckingandabstractinterpretation21stinternationalconferencevmcai2020neworleanslausajanuary16212020proceedings

Ejemplares similares