Search

You searched for: Auteur Sharygina, Natasha Remove constraint Auteur: Sharygina, Natasha
1 - 5 of 5
Number of results to display per page

Search Results

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Sankaranarayanan, Sriram; Sharygina, Natasha
Publisher:
Springer Nature Switzerland 2023
Format:
e-book
2. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Sankaranarayanan, Sriram; Sharygina, Natasha
Publisher:
Springer Nature Switzerland 2023
Format:
e-book
3. Computer Aided Verification
thumbnail
Full text!
Author:
Sharygina, Natasha; Veith, Helmut; Veith, Helmut
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
thumbnail
Full text!
Author:
Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book
5. Validation of Evolving Software
thumbnail
Full text!
Author:
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Publisher:
Springer International Publishing 2015
Format:
e-book