Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings

Detalles Bibliográficos
Autores principales: Ábrahám, Erika, Huisman, Marieke
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764135
_version_ 1780971063222468608
author Ábrahám, Erika
Huisman, Marieke
author_facet Ábrahám, Erika
Huisman, Marieke
author_sort Ábrahám, Erika
collection CERN
id cern-2764135
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27641352021-04-21T16:38:16Zhttp://cds.cern.ch/record/2764135engÁbrahám, ErikaHuisman, MariekeIntegrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27641352016
spellingShingle XX
Ábrahám, Erika
Huisman, Marieke
Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title_full Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title_fullStr Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title_full_unstemmed Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title_short Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
title_sort integrated formal methods: 12th international conference, ifm 2016, reykjavik, iceland, june 1-5, 2016, proceedings
topic XX
url http://cds.cern.ch/record/2764135
work_keys_str_mv AT abrahamerika integratedformalmethods12thinternationalconferenceifm2016reykjavikicelandjune152016proceedings
AT huismanmarieke integratedformalmethods12thinternationalconferenceifm2016reykjavikicelandjune152016proceedings

Ejemplares similares