Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

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

Alkuperäiskieli	Englanti
Kustantaja	Springer
Vuosikerta	2335
ISBN (elektroninen)	3-540-43703-7
ISBN (painettu)	3-540-43703-7
DOI - pysyväislinkit	https://doi.org/10.1007/3-540-47884-1
Tila	Julkaistu - 2002
Julkaistu ulkoisesti	Kyllä
OKM-julkaisutyyppi	C2 Toimitettu teos
Tapahtuma	Integrated Formal Methods - Hamburger Börse hotel, Turku, Finland Kesto: 15 toukok. 2002 → 18 toukok. 2002 Konferenssinumero: 3

Nimi	Lecture Notes in Computer Science
Vuosikerta	2335

YK:n kestävän kehityksen tavoitteet

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

@book{c57c4d82965c4ed48b8790c379ba73bb,

title = "Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings",

author = "Michael Butler and Luigia Petre and Kaisa Sere",

year = "2002",

doi = "10.1007/3-540-47884-1",

language = "English",

isbn = "3-540-43703-7",

volume = "2335",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

note = "Integrated Formal Methods, IFM ; Conference date: 15-05-2002 Through 18-05-2002",

}

TY - BOOK

T1 - Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

AU - Butler, Michael

AU - Petre, Luigia

AU - Sere, Kaisa

N1 - Conference code: 3

PY - 2002

Y1 - 2002

U2 - 10.1007/3-540-47884-1

DO - 10.1007/3-540-47884-1

M3 - Edited Book/Edited Journal

SN - 3-540-43703-7

VL - 2335

T3 - Lecture Notes in Computer Science

BT - Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

PB - Springer

T2 - Integrated Formal Methods

Y2 - 15 May 2002 through 18 May 2002

ER -