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

Bibliographic Details
Main Authors: Ábrahám, Erika, Huisman, Marieke
Language:English
Published: Springer International Publishing AG 2016
Subjects:
XX
Iceland
Online Access:http://cds.cern.ch/record/2764135
id ftcern:oai:cds.cern.ch:2764135
record_format openpolar
spelling ftcern:oai:cds.cern.ch:2764135 2023-05-15T16:44:26+02:00 Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings Ábrahám, Erika Huisman, Marieke 2016 http://cds.cern.ch/record/2764135 eng eng Springer International Publishing AG http://cds.cern.ch/record/2764135 oai:cds.cern.ch:2764135 XX 2016 ftcern 2021-04-28T00:09:54Z Other/Unknown Material Iceland CERN Document Server (CDS)
institution Open Polar
collection CERN Document Server (CDS)
op_collection_id ftcern
language English
topic XX
spellingShingle XX
Ábrahám, Erika
Huisman, Marieke
Integrated formal methods: 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, proceedings
topic_facet XX
author Ábrahám, Erika
Huisman, Marieke
author_facet Ábrahám, Erika
Huisman, Marieke
author_sort Ábrahám, Erika
title 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_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_sort integrated formal methods: 12th international conference, ifm 2016, reykjavik, iceland, june 1-5, 2016, proceedings
publisher Springer International Publishing AG
publishDate 2016
url http://cds.cern.ch/record/2764135
genre Iceland
genre_facet Iceland
op_relation http://cds.cern.ch/record/2764135
oai:cds.cern.ch:2764135
_version_ 1766034707229704192

Similar Items