Natasha Sharygina

Identifiers

• name variant Natasha Sharygina 0.60 · backfill

Papers (2)

1. Abstraction and Acceleration in SMT-based Model-Checking for Array Programs cs.LO · 2013 · author #3
2. Interpolation Properties and SAT-based Model Checking cs.LO · 2012 · author #3

Mentions

• 1304.4499 #3 · backfill · confidence 0.70 Natasha Sharygina
• 1212.4650 #3 · backfill · confidence 0.70 Natasha Sharygina

Frequent Coauthors

• Arie Gurfinkel 1 shared papers
• Francesco Alberti 1 shared papers
• Silvio Ghilardi 1 shared papers
• Simone Fulvio Rollini 1 shared papers