Natasha Sharygina (University of Lugano

Identifiers

• name variant Natasha Sharygina (University of Lugano 0.60 · backfill

Papers (1)

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

Mentions

• 1411.3790 #7 · backfill · confidence 0.70 Natasha Sharygina (University of Lugano

Frequent Coauthors

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