(3) IASI-CNR
Identifiers
No identifiers captured yet.
Papers (2)
- Enhancing Predicate Pairing with Abstraction for Relational Verification cs.LO · 2017 · author #12
- Verification of Time-Aware Business Processes using Constrained Horn Clauses cs.LO · 2016 · author #13
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
- University G. d'Annunzio 2 shared papers
- University of Rome Tor Vergata 2 shared papers
- Chieti-Pescara 1 shared papers
- Maria Chiara Meo (1) 1 shared papers
- Pescara 1 shared papers
- Roma 1 shared papers
- Rome 1 shared papers