Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers

Detalles Bibliográficos
Autores principales: Giannakopoulou, Dimitra, Kroening, Daniel
Lenguaje:eng
Publicado: Springer International Publishing AG 2014
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757629
_version_ 1780969985940652032
author Giannakopoulou, Dimitra
Kroening, Daniel
author_facet Giannakopoulou, Dimitra
Kroening, Daniel
author_sort Giannakopoulou, Dimitra
collection CERN
id cern-2757629
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
publisher Springer International Publishing AG
record_format invenio
spelling cern-27576292021-04-21T16:41:07Zhttp://cds.cern.ch/record/2757629engGiannakopoulou, DimitraKroening, DanielVerified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27576292014
spellingShingle XX
Giannakopoulou, Dimitra
Kroening, Daniel
Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title_full Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title_fullStr Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title_full_unstemmed Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title_short Verified software: 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, revised selected papers
title_sort verified software: 6th international conference, vstte 2014, vienna, austria, july 17-18, 2014, revised selected papers
topic XX
url http://cds.cern.ch/record/2757629
work_keys_str_mv AT giannakopouloudimitra verifiedsoftware6thinternationalconferencevstte2014viennaaustriajuly17182014revisedselectedpapers
AT kroeningdaniel verifiedsoftware6thinternationalconferencevstte2014viennaaustriajuly17182014revisedselectedpapers

Ejemplares similares