Natasha Sharygina
http://usi.to/fqf
Pubblicazioni
Pubblicazioni principali (2)
Rapporto tecnico (3)
- Fedyukovich G., Sharygina N. (2014) Automated Discovery of Simulation Between Programs (2014/05)
- Alberti F., Sharygina N. (2013) Decision Procedures for Flat Array Properties (2013/04)
- Alberti F., Sharygina N. (2012) Tackling divergence: abstraction and acceleration in array programs (2012/01)
