Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers

Detalles Bibliográficos
Autores principales: Gurfinkel, Arie, Seshia, Sanjit A
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756974
_version_ 1780969865889185792
author Gurfinkel, Arie
Seshia, Sanjit A
author_facet Gurfinkel, Arie
Seshia, Sanjit A
author_sort Gurfinkel, Arie
collection CERN
id cern-2756974
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27569742021-04-21T16:41:32Zhttp://cds.cern.ch/record/2756974engGurfinkel, ArieSeshia, Sanjit AVerified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27569742016
spellingShingle XX
Gurfinkel, Arie
Seshia, Sanjit A
Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title_full Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title_fullStr Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title_full_unstemmed Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title_short Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
title_sort verified software: 7th international conference, vstte 2015, san francisco, ca, usa, july 18-19, 2015 revised selected papers
topic XX
url http://cds.cern.ch/record/2756974
work_keys_str_mv AT gurfinkelarie verifiedsoftware7thinternationalconferencevstte2015sanfranciscocausajuly18192015revisedselectedpapers
AT seshiasanjita verifiedsoftware7thinternationalconferencevstte2015sanfranciscocausajuly18192015revisedselectedpapers

Ejemplares similares