Preface

Keijiro Araki, Stefania Gnesi, Dino Mandrioli

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Pages (from-to)	V
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2805
Publication status	Published - 2003
Event	12th International Symposium of Formal Methods Europe, FME 2003 - Pisa, Italy Duration: Sept 8 2003 → Sept 14 2003

All Science Journal Classification (ASJC) codes

@article{df0e36ed624e47a1a734690934622c4d,

title = "Preface",

author = "Keijiro Araki and Stefania Gnesi and Dino Mandrioli",

year = "2003",

language = "English",

volume = "2805",

pages = "V",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "12th International Symposium of Formal Methods Europe, FME 2003 ; Conference date: 08-09-2003 Through 14-09-2003",

}

TY - JOUR

T1 - Preface

AU - Araki, Keijiro

AU - Gnesi, Stefania

AU - Mandrioli, Dino

PY - 2003

Y1 - 2003

UR - http://www.scopus.com/inward/record.url?scp=84944035487&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84944035487&partnerID=8YFLogxK

M3 - Editorial

AN - SCOPUS:84944035487

SN - 0302-9743

VL - 2805

SP - V

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 12th International Symposium of Formal Methods Europe, FME 2003

Y2 - 8 September 2003 through 14 September 2003

ER -