http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139066
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
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta
- 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
- 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