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

Michael Butler, Luigia Petre, Kaisa Sere

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

Originalspråk	Engelska
Förlag	Springer
Volym	2335
ISBN (elektroniskt)	3-540-43703-7
ISBN (tryckt)	3-540-43703-7
DOI	https://doi.org/10.1007/3-540-47884-1
Status	Publicerad - 2002
Externt publicerad	Ja
MoE-publikationstyp	C2 Redigerat verk
Evenemang	Integrated Formal Methods - Hamburger Börse hotel, Turku, Finland Varaktighet: 15 maj 2002 → 18 maj 2002 Konferensnummer: 3

Namn	Lecture Notes in Computer Science
Volym	2335

FN:s SDG:er

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

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