Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings

Detalles Bibliográficos
Autores principales: Calinescu, Radu, Rumpe, Bernhard
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761333
_version_ 1780970496710410240
author Calinescu, Radu
Rumpe, Bernhard
author_facet Calinescu, Radu
Rumpe, Bernhard
author_sort Calinescu, Radu
collection CERN
id cern-2761333
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613332021-04-21T16:39:44Zhttp://cds.cern.ch/record/2761333engCalinescu, RaduRumpe, BernhardSoftware engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27613332015
spellingShingle XX
Calinescu, Radu
Rumpe, Bernhard
Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title_full Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title_fullStr Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title_full_unstemmed Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title_short Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
title_sort software engineering and formal methods: 13th international conference, sefm 2015, york, uk, september 7-11, 2015 proceedings
topic XX
url http://cds.cern.ch/record/2761333
work_keys_str_mv AT calinescuradu softwareengineeringandformalmethods13thinternationalconferencesefm2015yorkukseptember7112015proceedings
AT rumpebernhard softwareengineeringandformalmethods13thinternationalconferencesefm2015yorkukseptember7112015proceedings

Ejemplares similares