Emanuele De Angelis

Identifiers

• name variant Emanuele De Angelis 0.60 · backfill

Papers (2)

1. Removing Unnecessary Variables from Horn Clause Verification Conditions cs.LO · 2016 · author #1
2. Verification of Programs by Combining Iterated Specialization with Interpolation cs.LO · 2014 · author #1

Mentions

• 1412.1151 #1 · backfill · confidence 0.70 Emanuele De Angelis

Frequent Coauthors

• Fabio Fioravanti 2 shared papers
• Maurizio Proietti 2 shared papers
• Alberto Pettorossi 1 shared papers
• Jorge A. Navas 1 shared papers