Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings

Detalles Bibliográficos
Autores principales: Polikarpova, Nadia, Schneider, Steve
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756857
_version_ 1780969840663592960
author Polikarpova, Nadia
Schneider, Steve
author_facet Polikarpova, Nadia
Schneider, Steve
author_sort Polikarpova, Nadia
collection CERN
id cern-2756857
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27568572021-04-21T16:41:38Zhttp://cds.cern.ch/record/2756857engPolikarpova, NadiaSchneider, SteveIntegrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27568572017
spellingShingle XX
Polikarpova, Nadia
Schneider, Steve
Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title_full Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title_fullStr Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title_full_unstemmed Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title_short Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
title_sort integrated formal methods: 13th international conference, ifm 2017, turin, italy, september 20-22, 2017, proceedings
topic XX
url http://cds.cern.ch/record/2756857
work_keys_str_mv AT polikarpovanadia integratedformalmethods13thinternationalconferenceifm2017turinitalyseptember20222017proceedings
AT schneidersteve integratedformalmethods13thinternationalconferenceifm2017turinitalyseptember20222017proceedings

Ejemplares similares