Document - Preface of SEFM 2010

2010

Contribution to conference Restricted

Preface of SEFM 2010

Fiadeiro J., Gnesi S., Maggiolo Schettini A.

Software/Program Verification Formal Methods Software Engineering 68 Computer science

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).

Source: New York: IEEE, Institute of electrical and electronics engineers, 2010

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:139078,
	title = {Preface of SEFM 2010},
	author = {Fiadeiro J. and Gnesi S. and Maggiolo Schettini A.},
	doi = {10.1109/sefm.2010.5},
	booktitle = {New York: IEEE, Institute of electrical and electronics engineers, 2010},
	year = {2010}
}