@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID288260 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID288260 . @prefix modulo: . modulo:ID2271 prodottidellaricerca:prodotto prodotto:ID288260 . @prefix rdf: . @prefix retescientifica: . prodotto:ID288260 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1301 . @prefix rdfs: . prodotto:ID288260 rdfs:label "Program Verification using Constraint Handling Rules and Array Constraint Generalizations (Contributo in atti di convegno)"@en . @prefix xsd: . prodotto:ID288260 pubblicazioni:anno "2014-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID288260 skos:altLabel "
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti (2014)
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
in VPT 2014. Second International Workshop on Verification and Program Transformation, Vienna
"^^rdf:HTML ; pubblicazioni:autori "Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti"^^xsd:string ; pubblicazioni:paginaInizio "3"^^xsd:string ; pubblicazioni:paginaFine "18"^^xsd:string ; pubblicazioni:volumeInCollana "28"^^xsd:string ; pubblicazioni:affiliazioni "University 'G. D'Annunzio', Pescara;\nUniversity 'G. D'Annunzio', Pescara;\nUniversity of Rome Tor Vergata;\nIASI-CNR"^^xsd:string ; pubblicazioni:titolo "Program Verification using Constraint Handling Rules and Array Constraint Generalizations"^^xsd:string ; prodottidellaricerca:prodottoDi istituto:CDS003 , modulo:ID2271 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 .