Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista)

Type
Label
  • Program Transformation for Development, Verification, and Synthesis of Software (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Pettorossi, A.; Proietti, M.; Senni, V. (2008)
    Program Transformation for Development, Verification, and Synthesis of Software
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pettorossi, A.; Proietti, M.; Senni, V. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • (to appear) (literal)
Titolo
  • Program Transformation for Development, Verification, and Synthesis of Software (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it