Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings

Detalles Bibliográficos
Autores principales: Beyer, Dirk, Keller, Chantal
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755226
_version_ 1780969593010913280
author Beyer, Dirk
Keller, Chantal
author_facet Beyer, Dirk
Keller, Chantal
author_sort Beyer, Dirk
collection CERN
id cern-2755226
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27552262021-04-21T16:42:40Zhttp://cds.cern.ch/record/2755226engBeyer, DirkKeller, ChantalTests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27552262019
spellingShingle XX
Beyer, Dirk
Keller, Chantal
Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title_full Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title_fullStr Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title_full_unstemmed Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title_short Tests and proofs: 13th international conference, TAP 2019, held as part of the third world congress on formal methods 2019, Porto, Portugal, October 9-11, 2019, proceedings
title_sort tests and proofs: 13th international conference, tap 2019, held as part of the third world congress on formal methods 2019, porto, portugal, october 9-11, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755226
work_keys_str_mv AT beyerdirk testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings
AT kellerchantal testsandproofs13thinternationalconferencetap2019heldaspartofthethirdworldcongressonformalmethods2019portoportugaloctober9112019proceedings

Ejemplares similares