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

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

Original language	English
Publisher	Springer
Volume	2335
ISBN (Electronic)	3-540-43703-7
ISBN (Print)	3-540-43703-7
DOIs	https://doi.org/10.1007/3-540-47884-1
Publication status	Published - 2002
Externally published	Yes
MoE publication type	C2 Edited work
Event	Integrated Formal Methods - Hamburger Börse hotel, Turku, Finland Duration: 15 May 2002 → 18 May 2002 Conference number: 3

Name	Lecture Notes in Computer Science
Volume	2335

UN SDGs

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

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