Proceedings - Software Engineering and Formal Methods, SEFM 2010: Preface

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	2010 8th IEEE International Conference on Software Engineering and Formal Methods
Publisher	IEEE
Number of pages	2
ISBN (Print)	9781424482894
DOIs	https://doi.org/10.1109/SEFM.2010.5
Publication status	Published - 28 Dec 2010
Event	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 - Pisa, Italy Duration: 14 Sept 2010 → 18 Sept 2010

Conference	8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010
Country/Territory	Italy
City	Pisa
Period	14/09/10 → 18/09/10

ASJC Scopus subject areas

@inproceedings{e8ed1445d455463d94e7bc42e719280a,

title = "Proceedings - Software Engineering and Formal Methods, SEFM 2010: Preface",

author = "Schettini, \{Andrea Maggiolo\} and Fiadeiro, \{Jose Luiz\} and Stefania Gnesi",

year = "2010",

month = dec,

day = "28",

doi = "10.1109/SEFM.2010.5",

language = "English",

isbn = "9781424482894",

booktitle = "2010 8th IEEE International Conference on Software Engineering and Formal Methods",

publisher = "IEEE",

note = "8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 ; Conference date: 14-09-2010 Through 18-09-2010",

}

TY - GEN

T1 - Proceedings - Software Engineering and Formal Methods, SEFM 2010

T2 - 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010

AU - Schettini, Andrea Maggiolo

AU - Fiadeiro, Jose Luiz

AU - Gnesi, Stefania

PY - 2010/12/28

Y1 - 2010/12/28

UR - https://www.scopus.com/pages/publications/78650477150

U2 - 10.1109/SEFM.2010.5

DO - 10.1109/SEFM.2010.5

M3 - Conference contribution

AN - SCOPUS:78650477150

SN - 9781424482894

BT - 2010 8th IEEE International Conference on Software Engineering and Formal Methods

PB - IEEE

Y2 - 14 September 2010 through 18 September 2010

ER -