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

Erika Abraham (Editor), Marieke Huisman (Editor)

Research output: Book/Report › Book editing › Academic

8 Downloads (Pure)

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	9681
ISSN (Print)	0302-9743

Keywords

@book{e5f06d82bfeb4d129b4e85df7cc4a507,

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

keywords = "EWI-27671",

editor = "Erika Abraham and Marieke Huisman",

year = "2016",

month = jun,

doi = "10.1007/978-3-319-33693-0",

language = "English",

isbn = "978-3-319-33692-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

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

CY - London

ER -