University `G. D'Annunzio'

Identifiers

• name variant University `G. D'Annunzio' 0.60 · backfill

Papers (1)

1. Verification of Imperative Programs by Constraint Logic Program Transformation cs.PL · 2013 · author #2

Mentions

• 1309.5139 #2 · backfill · confidence 0.70 University `G. D'Annunzio'

Frequent Coauthors

• Alberto Pettorossi (DICII 1 shared papers
• Emanuele De Angelis (DEC 1 shared papers
• Fabio Fioravanti (DEC 1 shared papers
• Italy) 1 shared papers
• Maurizio Proietti (IASI-CNR 1 shared papers
• Pescara 1 shared papers
• Rome 1 shared papers
• University of Rome Tor Vergata 1 shared papers