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

Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Englanti
Kustantaja	Springer
ISBN (elektroninen)	978-3-642-38612-1
ISBN (painettu)	978-3-642-38612-1
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-38613-8
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	C2 Toimitettu teos
Tapahtuma	Integrated Formal Methods - ICT house, Turku, Finland Kesto: 10 kesäk. 2013 → 14 kesäk. 2013 Konferenssinumero: 10

Nimi	Lecture Notes in Computer Science
Kustantaja	Springer
Vuosikerta	7940

YK:n kestävän kehityksen tavoitteet

Tämä tuotos edistää seuraavia kestävän kehityksen tavoitteita:

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