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).
Preface of SEFM 2010
Gnesi S;
2010
Abstract
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).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_139078-doc_132256.pdf
solo utenti autorizzati
Descrizione: Preface of SEFM 2010
Tipologia:
Versione Editoriale (PDF)
Dimensione
79.25 kB
Formato
Adobe PDF
|
79.25 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
