Francesco Alberti (University of Lugano

Identifiers

• name variant Francesco Alberti (University of Lugano 0.60 · backfill

Papers (1)

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

Mentions

• 1411.3790 #1 · backfill · confidence 0.70 Francesco Alberti (University of Lugano

Frequent Coauthors

• Italy) 1 shared papers
• Lugano 1 shared papers
• Milano 1 shared papers
• Natasha Sharygina (University of Lugano 1 shared papers
• Silvio Ghilardi (Universi\`a degli Studi di Milano 1 shared papers
• Switzerland) 1 shared papers