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

Einar Broch Johnsen, Luigia Petre

Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

Originalspråk	Engelska
Förlag	Springer
Volym	7940
ISBN (elektroniskt)	978-3-642-38612-1
ISBN (tryckt)	978-3-642-38612-1
DOI	https://doi.org/10.1007/978-3-642-38613-8
Status	Publicerad - 2013
MoE-publikationstyp	C2 Redigerat verk
Evenemang	Integrated Formal Methods - ICT house, Turku, Finland Varaktighet: 10 juni 2013 → 14 juni 2013 Konferensnummer: 10

Namn	Lecture Notes in Computer Science
Förlag	Springer
Volym	7940

FN:s SDG:er

Detta resultat bidrar till följande hållbara utvecklingsmål:

@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",

volume = "7940",

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, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings

AU - Broch Johnsen, Einar

AU - Petre, Luigia

N1 - Conference code: 10

PY - 2013

Y1 - 2013

UR - https://doi.org/10.1007/978-3-642-38613-8

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

VL - 7940

T3 - Lecture Notes in Computer Science

BT - Integrated Formal Methods, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings

PB - Springer

T2 - Integrated Formal Methods

Y2 - 10 June 2013 through 14 June 2013

ER -