Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers

Detalles Bibliográficos
Autores principales: Paskevich, Andrei, Wies, Thomas
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757021
_version_ 1780969876038352896
author Paskevich, Andrei
Wies, Thomas
author_facet Paskevich, Andrei
Wies, Thomas
author_sort Paskevich, Andrei
collection CERN
id cern-2757021
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27570212021-04-21T16:41:30Zhttp://cds.cern.ch/record/2757021engPaskevich, AndreiWies, ThomasVerified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27570212017
spellingShingle XX
Paskevich, Andrei
Wies, Thomas
Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title_full Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title_fullStr Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title_full_unstemmed Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title_short Verified software theories, tools, and experiments: 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, revised selected papers
title_sort verified software theories, tools, and experiments: 9th international conference, vstte 2017, heidelberg, germany, july 22-23, 2017, revised selected papers
topic XX
url http://cds.cern.ch/record/2757021
work_keys_str_mv AT paskevichandrei verifiedsoftwaretheoriestoolsandexperiments9thinternationalconferencevstte2017heidelberggermanyjuly22232017revisedselectedpapers
AT wiesthomas verifiedsoftwaretheoriestoolsandexperiments9thinternationalconferencevstte2017heidelberggermanyjuly22232017revisedselectedpapers

Ejemplares similares