Data di Pubblicazione:
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).
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Software/Program Verification; 68 Computer science; Software Engineering; Formal Methods
Elenco autori:
Gnesi, Stefania
Link alla scheda completa: