Cargando…

Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers

Detalles Bibliográficos
Autores principales: Blazy, Sandrine, Chechik, Marsha
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757905
_version_ 1780970045467262976
author Blazy, Sandrine
Chechik, Marsha
author_facet Blazy, Sandrine
Chechik, Marsha
author_sort Blazy, Sandrine
collection CERN
id cern-2757905
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27579052021-04-21T16:40:53Zhttp://cds.cern.ch/record/2757905engBlazy, SandrineChechik, MarshaVerified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27579052016
spellingShingle XX
Blazy, Sandrine
Chechik, Marsha
Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title_full Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title_fullStr Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title_full_unstemmed Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title_short Verified software theories, tools, and experiments: 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, revised selected papers
title_sort verified software theories, tools, and experiments: 8th international conference, vstte 2016, toronto, on, canada, july 17-18, 2016, revised selected papers
topic XX
url http://cds.cern.ch/record/2757905
work_keys_str_mv AT blazysandrine verifiedsoftwaretheoriestoolsandexperiments8thinternationalconferencevstte2016torontooncanadajuly17182016revisedselectedpapers
AT chechikmarsha verifiedsoftwaretheoriestoolsandexperiments8thinternationalconferencevstte2016torontooncanadajuly17182016revisedselectedpapers