Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen, Luigia Petre

Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

Original language	English
Publisher	Springer
ISBN (Electronic)	978-3-642-38612-1
ISBN (Print)	978-3-642-38612-1
DOIs	https://doi.org/10.1007/978-3-642-38613-8
Publication status	Published - 2013
MoE publication type	C2 Edited work
Event	Integrated Formal Methods - ICT house, Turku, Finland Duration: 10 Jun 2013 → 14 Jun 2013 Conference number: 10

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	7940

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

@book{07754892f06d4621abaaf91ebfd4e8aa,

title = "Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings",

author = "{Broch Johnsen}, Einar and Luigia Petre",

year = "2013",

doi = "10.1007/978-3-642-38613-8",

language = "English",

isbn = "978-3-642-38612-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

note = "Integrated Formal Methods, iFM ; Conference date: 10-06-2013 Through 14-06-2013",

}

TY - BOOK

T1 - Integrated Formal Methods

T2 - Integrated Formal Methods

AU - Broch Johnsen, Einar

AU - Petre, Luigia

N1 - Conference code: 10

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38613-8

DO - 10.1007/978-3-642-38613-8

M3 - Edited Book/Edited Journal

SN - 978-3-642-38612-1

T3 - Lecture Notes in Computer Science

BT - Integrated Formal Methods

PB - Springer

Y2 - 10 June 2013 through 14 June 2013

ER -