University "G. d'Annunzio" of Chieti-Pescara

Identifiers

No identifiers captured yet.

Papers (2)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Emanuele De Angelis (DEC 2 shared papers
• Fabio Fioravanti (DEC 2 shared papers
• Italy) 2 shared papers
• Maurizio Proietti (CNR-IASI 2 shared papers
• Adri\'an Palacios (MiST 1 shared papers
• Alberto Pettorossi (DICII 1 shared papers
• Alberto Pettorossi (University of Roma Tor Vergata 1 shared papers
• DSIC 1 shared papers
• Pescara 1 shared papers
• Roma 1 shared papers
• Rome 1 shared papers
• Spain) 1 shared papers
• Universitat Polit\`ecnica de Val\`encia 1 shared papers
• University of Roma Tor Vergata 1 shared papers
• Val\`encia 1 shared papers