Natasha Sharygina profile picture

Natasha Sharygina

Is this your author profile? Create an account to customize it!

Stand Alone

Software Verification
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Validation of Evolving Software
Validation of Evolving Software
Validation of Evolving Software
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Computer Aided Verification