Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings

Detalles Bibliográficos
Autores principales: Johnsen, Einar Broch, Schaefer, Ina
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757931
_version_ 1780970051001647104
author Johnsen, Einar Broch
Schaefer, Ina
author_facet Johnsen, Einar Broch
Schaefer, Ina
author_sort Johnsen, Einar Broch
collection CERN
id cern-2757931
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27579312021-04-21T16:40:48Zhttp://cds.cern.ch/record/2757931engJohnsen, Einar BrochSchaefer, InaSoftware engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27579312018
spellingShingle XX
Johnsen, Einar Broch
Schaefer, Ina
Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title_full Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title_fullStr Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title_full_unstemmed Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title_short Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
title_sort software engineering and formal methods: 16th international conference, sefm 2018, held as part of staf 2018, toulouse, france, june 27-29, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2757931
work_keys_str_mv AT johnseneinarbroch softwareengineeringandformalmethods16thinternationalconferencesefm2018heldaspartofstaf2018toulousefrancejune27292018proceedings
AT schaeferina softwareengineeringandformalmethods16thinternationalconferencesefm2018heldaspartofstaf2018toulousefrancejune27292018proceedings

Ejemplares similares