@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",
}