(3) CNR-IASI

Identifiers

No identifiers captured yet.

Papers (2)

1. Solving Horn Clauses on Inductive Data Types Without Induction cs.LO · 2018 · author #12
2. Predicate Pairing for Program Verification cs.LO · 2017 · author #12

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) DICII 2 shared papers
• Alberto Pettorossi (2) 2 shared papers
• Emanuele De Angelis (1) 2 shared papers
• Fabio Fioravanti (1) 2 shared papers
• Italy 2 shared papers
• Italy) 2 shared papers
• Maurizio Proietti (3) ((1) DEC 2 shared papers
• Pescara 2 shared papers
• Roma 2 shared papers
• Universita' di Roma Tor Vergata 1 shared papers
• University G. d'Annunzio 1 shared papers
• University G. D'Annunzio of Chieti-Pescara 1 shared papers
• University of Rome Tor Vergata 1 shared papers