@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID272436 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID272436 . @prefix modulo: . modulo:ID2271 prodottidellaricerca:prodotto prodotto:ID272436 . @prefix rdf: . @prefix retescientifica: . prodotto:ID272436 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1730 . @prefix rdfs: . prodotto:ID272436 rdfs:label "Program Verification via Iterated Specialization (Rapporti tecnici/preprint/working paper)"@en . @prefix xsd: . prodotto:ID272436 pubblicazioni:anno "2013-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID272436 skos:altLabel "
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti (2013)
Program Verification via Iterated Specialization
"^^rdf:HTML ; pubblicazioni:autori "Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti"^^xsd:string ; pubblicazioni:volumeInCollana "11"^^xsd:string ; pubblicazioni:affiliazioni "Univ. Chieti-Pescara, Univ. Chieti-Pescara, Univ. Roma Tor Vergata, IASI-CNR"^^xsd:string ; pubblicazioni:titolo "Program Verification via Iterated Specialization"^^xsd:string ; prodottidellaricerca:prodottoDi istituto:CDS003 , modulo:ID2271 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 .