Emanuele De Angelis

Registered user since Fri 20 Nov 2015

Name:Emanuele De Angelis
Country:Italy
Affiliation:CNR-IASI
Research interests:Automatic Verification & Validation, Program Transformation

Contributions

PADL 2023 Multiple Query Satisfiability of Constrained Horn Clauses
Show activities from other conferences

Using general profile