Antonio Filieri

Identifiers

• name variant Antonio Filieri 0.60 · backfill

Papers (1)

1. A Syntactic-Semantic Approach to Incremental Verification cs.SE · 2013 · author #2

Mentions

• 1304.8034 #2 · backfill · confidence 0.70 Antonio Filieri

Frequent Coauthors

• Carlo Ghezzi 1 shared papers
• Dino Mandrioli 1 shared papers
• Domenico Bianculli 1 shared papers