SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela)

Type
Label
  • SEFM 2010 - Poster and Tool Demo Session Proceedings (Curatela) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • (2010)
    SEFM 2010 - Poster and Tool Demo Session Proceedings
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta
  • Pisa, CNR (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autoriCuratela
  • Mazzanti F.; Trentanni G. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 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. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • 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 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • SEFM 2010 - Poster and Tool Demo Session Proceedings (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana
  • 8th IEEE International Conference on Software Engineering and Formal Methods (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it