PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F., Trentanni G. SEFM 2010 - Poster and Tool Demo Session Proceedings. In: 8th IEEE International Conference on Software Engineering and Formal Methods. Editorial, pp. 1 - 52. Franco Mazzanti, Gianluca Trentanni (eds.). CNR, Area della Ricerca di Pisa, 2010.
 
 
Abstract
(English)
Proceedings of the Poster and Tool Demo Session during the 8th IEEE International Conference on Software and Formal Methods (SEFM 2010) - CNR, Pisa, Italy 13-18 September 2010
Subject Formal methods
Automated tools
D.2 SOFTWARE ENGINEERING


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional