University G. d'Annunzio

Identifiers

No identifiers captured yet.

Papers (3)

1. Enhancing Predicate Pairing with Abstraction for Relational Verification cs.LO · 2017 · author #5
2. Predicate Pairing for Program Verification cs.LO · 2017 · author #5
3. Verification of Time-Aware Business Processes using Constrained Horn Clauses cs.LO · 2016 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) DICII 3 shared papers
• Alberto Pettorossi (2) 3 shared papers
• Emanuele De Angelis (1) 3 shared papers
• Fabio Fioravanti (1) 3 shared papers
• Italy 3 shared papers
• Italy) 3 shared papers
• Maurizio Proietti (3) ((1) DEC 3 shared papers
• (3) IASI-CNR 2 shared papers
• Pescara 2 shared papers
• Roma 2 shared papers
• University of Rome Tor Vergata 2 shared papers
• (3) CNR-IASI 1 shared papers
• Chieti-Pescara 1 shared papers
• Maria Chiara Meo (1) 1 shared papers
• Rome 1 shared papers
• Universita' di Roma Tor Vergata 1 shared papers