Emanuele De Angelis (DEC

Identifiers

No identifiers captured yet.

Papers (3)

1. Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification cs.LO · 2019 · author #1
2. Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs cs.PL · 2018 · author #1
3. Verification of Imperative Programs by Constraint Logic Program Transformation cs.PL · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Fabio Fioravanti (DEC 3 shared papers
• Italy) 3 shared papers
• Alberto Pettorossi (DICII 2 shared papers
• Maurizio Proietti (CNR-IASI 2 shared papers
• Pescara 2 shared papers
• Rome 2 shared papers
• University "G. d'Annunzio" of Chieti-Pescara 2 shared papers
• Adri\'an Palacios (MiST 1 shared papers
• Alberto Pettorossi (University of Roma Tor Vergata 1 shared papers
• DSIC 1 shared papers
• Maurizio Proietti (IASI-CNR 1 shared papers
• Roma 1 shared papers
• Spain) 1 shared papers
• Universitat Polit\`ecnica de Val\`encia 1 shared papers
• University `G. D'Annunzio' 1 shared papers
• University of Roma Tor Vergata 1 shared papers
• University of Rome Tor Vergata 1 shared papers
• Val\`encia 1 shared papers