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

Bibliographic Details
Other Authors: Ábrahám, Erika, Huisman, Marieke
Format: Book
Language:English
Published: Springer International Publishing 2016
Subjects:
Iceland
Online Access:https://publications.rwth-aachen.de/record/683017
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22
id ftrwthaachenpubl:oai:publications.rwth-aachen.de:683017
record_format openpolar
spelling ftrwthaachenpubl:oai:publications.rwth-aachen.de:683017 2024-01-14T10:07:49+01:00 Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings Ábrahám, Erika Huisman, Marieke DE 2016 https://publications.rwth-aachen.de/record/683017 https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22 eng eng Springer International Publishing Imprint: Springer info:eu-repo/semantics/altIdentifier/issn/0302-9743 info:eu-repo/semantics/altIdentifier/issn/1611-3349 info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33693-0 info:eu-repo/semantics/altIdentifier/isbn/978-3-319-33692-3 https://publications.rwth-aachen.de/record/683017 https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22 info:eu-repo/semantics/closedAccess Cham s.l. : Springer International Publishing Imprint: Springer, Lecture Notes in Computer Science 9681, XIV, 538 Seiten : Illustrationen, Diagramme (2016). doi:10.1007/978-3-319-33693-0 Integrated formal methods : 12th international conference, IFM, Reykjavik, Iceland, 2016-06-01 - 2016-06-05 info:eu-repo/semantics/book info:eu-repo/semantics/publishedVersion 2016 ftrwthaachenpubl https://doi.org/10.1007/978-3-319-33693-0 2023-12-17T23:57:16Z Book Iceland RWTH Aachen University: RWTH Publications
institution Open Polar
collection RWTH Aachen University: RWTH Publications
op_collection_id ftrwthaachenpubl
language English
author2 Ábrahám, Erika
Huisman, Marieke
format Book
title Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings
spellingShingle 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
publishDate 2016
url https://publications.rwth-aachen.de/record/683017
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22
op_coverage DE
genre Iceland
genre_facet Iceland
op_source Cham
s.l. : Springer International Publishing
Imprint: Springer, Lecture Notes in Computer Science 9681, XIV, 538 Seiten : Illustrationen, Diagramme (2016). doi:10.1007/978-3-319-33693-0
Integrated formal methods : 12th international conference, IFM, Reykjavik, Iceland, 2016-06-01 - 2016-06-05
op_relation info:eu-repo/semantics/altIdentifier/issn/0302-9743
info:eu-repo/semantics/altIdentifier/issn/1611-3349
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-33693-0
info:eu-repo/semantics/altIdentifier/isbn/978-3-319-33692-3
https://publications.rwth-aachen.de/record/683017
https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-01188%22
op_rights info:eu-repo/semantics/closedAccess
op_doi https://doi.org/10.1007/978-3-319-33693-0
_version_ 1788062217444261888

Similar Items