Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings

Detalles Bibliográficos
Autores principales: Bae, Kyungmin, Ölveczky, Peter Csaba
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757261
_version_ 1780969927397605376
author Bae, Kyungmin
Ölveczky, Peter Csaba
author_facet Bae, Kyungmin
Ölveczky, Peter Csaba
author_sort Bae, Kyungmin
collection CERN
id cern-2757261
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27572612021-04-21T16:41:18Zhttp://cds.cern.ch/record/2757261engBae, KyungminÖlveczky, Peter CsabaFormal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27572612018
spellingShingle XX
Bae, Kyungmin
Ölveczky, Peter Csaba
Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title_full Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title_fullStr Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title_full_unstemmed Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title_short Formal aspects of component software: 15th international conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, proceedings
title_sort formal aspects of component software: 15th international conference, facs 2018, pohang, south korea, october 10-12, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2757261
work_keys_str_mv AT baekyungmin formalaspectsofcomponentsoftware15thinternationalconferencefacs2018pohangsouthkoreaoctober10122018proceedings
AT olveczkypetercsaba formalaspectsofcomponentsoftware15thinternationalconferencefacs2018pohangsouthkoreaoctober10122018proceedings

Ejemplares similares