Silvio Ghilardi (Universi\`a degli Studi di Milano

Identifiers

• name variant Silvio Ghilardi (Universi\`a degli Studi di Milano 0.60 · backfill

Papers (1)

1. Monotonic Abstraction Techniques: from Parametric to Software Model Checking cs.LO · 2014 · author #4

Mentions

• 1411.3790 #4 · backfill · confidence 0.70 Silvio Ghilardi (Universi\`a degli Studi di Milano

Frequent Coauthors

• Francesco Alberti (University of Lugano 1 shared papers
• Italy) 1 shared papers
• Lugano 1 shared papers
• Milano 1 shared papers
• Natasha Sharygina (University of Lugano 1 shared papers
• Switzerland) 1 shared papers