Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Abraham (Editor), Marieke Huisman (Editor)

Research output: Book/ReportBook editing

LanguageEnglish
Place of PublicationLondon
PublisherSpringer Verlag
Number of pages538
ISBN (Electronic)978-3-319-33693-0
ISBN (Print)978-3-319-33692-3
DOIs
StatePublished - Jun 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume9681
ISSN (Print)0302-9743

Keywords

  • EWI-27671

Cite this

Abraham, E., & Huisman, M. (Eds.) (2016). Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (Lecture Notes in Computer Science; Vol. 9681). London: Springer Verlag. DOI: 10.1007/978-3-319-33693-0
Abraham, Erika (Editor) ; Huisman, Marieke (Editor). / Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. London : Springer Verlag, 2016. 538 p. (Lecture Notes in Computer Science).
@book{e5f06d82bfeb4d129b4e85df7cc4a507,
title = "Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings",
keywords = "EWI-27671",
author = "Erika Abraham and Marieke Huisman",
year = "2016",
month = "6",
doi = "10.1007/978-3-319-33693-0",
language = "English",
isbn = "978-3-319-33692-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
address = "Germany",

}

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. / Abraham, Erika (Editor); Huisman, Marieke (Editor).

London : Springer Verlag, 2016. 538 p. (Lecture Notes in Computer Science; Vol. 9681).

Research output: Book/ReportBook editing

TY - BOOK

T1 - Integrated Formal Methods

T2 - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

A2 - Abraham,Erika

A2 - Huisman,Marieke

PY - 2016/6

Y1 - 2016/6

KW - EWI-27671

U2 - 10.1007/978-3-319-33693-0

DO - 10.1007/978-3-319-33693-0

M3 - Book editing

SN - 978-3-319-33692-3

T3 - Lecture Notes in Computer Science

BT - Integrated Formal Methods

PB - Springer Verlag

CY - London

ER -

Abraham E, (ed.), Huisman M, (ed.). Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. London: Springer Verlag, 2016. 538 p. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-33693-0