Sharygina, Natasha books & textbook
Validation of Evolving Software
Chockler, Hana Kroening, Daniel Mariani, Leonardo Sharygina, Natasha
Springer /2015-07-10 Hardcover / 228 Pages
isbn-10: 3319106228 / isbn-13: 9783319106229
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science, 8044)
Sharygina, Natasha Veith, Helmut
Springer /2013-07-14 Paperback / 1037 Pages
isbn-10: 3642397980 / isbn-13: 9783642397981
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
Sankaranarayanan, Sriram Sharygina, Natasha
Springer /2023-04-22 Paperback / 732 Pages
isbn-10: 3031308220 / isbn-13: 9783031308222
Software Verification (Programming and Software Engineering)
Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha
Springer /2022-02-22 Paperback / 212 Pages
isbn-10: 3030955605 / isbn-13: 9783030955601
