2010
Book
Restricted
Preface of SEFM 2010
Fiadeiro J, Gnesi S, Maggiolo Schettini A
Software/Program Verification 68 Computer science Software Engineering Formal Methods
This volume contains the proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) held on 13-18 September 2010 in Pisa, Italy, hosted by the Istituto di Scienza e Tecnologie dell'Informazione A. Faedo of the Consiglio Nazionale delle Ricerche (ISTI-CNR).
Publisher: IEEE, Institute of electrical and electronics engineers
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:139078,
title = {Preface of SEFM 2010},
author = {Fiadeiro J and Gnesi S and Maggiolo Schettini A},
publisher = {IEEE, Institute of electrical and electronics engineers},
year = {2010}
}CNR authorsLaboratories
0000-0002-0139-0421