Emanuele De Angelis - Dissemin

Dissemin is shutting down on January 1st, 2025

Language
Login

All papers authored by Emanuele De Angelis

This paper was not found in any repository, but could be made available legally by the author.

2021 Emanuele De Angelis

ORCID

, Fabio Fioravanti

ORCID

, John P. Gallagher

ORCID

, Manuel V. Hermenegildo

ORCID

, Alberto Pettorossi

ORCID

, Maurizio Proietti

ORCID

Analysis and Transformation of Constrained Horn Clauses for Program Verification

Upload

Missing publications? Search for publications with a matching author name.