CNR Institutional Research Information System

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).
2010
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
viii
ix
978-1-4244-8289-4
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5637274
IEEE, Institute of electrical and electronics engineers
New York
STATI UNITI D'AMERICA
13-18 September 2010
Software/Program Verification
68 Computer science
Software Engineering
Formal Methods
Sì, ma tipo non specificato
1
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Fiadeiro J.; Gnesi S.; Maggiolo Schettini A.
284
info:eu-repo/semantics/other
restricted
04.08 Curatela di Atti di convegno
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
  Visualizza/Apri   Richiedi una copia
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/131969
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact