Items where author is "Proietti, Maurizio"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

De Angelis, Emanuele and Fioravanti, Fabio and Gallagher, John P. and Hermenegildo, Manuel V. and Pettorossi, Alberto and Proietti, Maurizio (2021). Analysis and transformation of constrained Horn clauses for program verification. "Theory and Practice of Logic Programming" ; pp. 1-69. ISSN 1475-3081. https://doi.org/10.1017/S1471068421000211.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM