bib.howest.be Zoekresultaten

U zocht naar: Auteur Sharygina, Natasha

1 - 5 van 5

1. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

2. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Sankaranarayanan, Sriram; Sharygina, Natasha
Uitgever:: Springer Nature Switzerland 2023
Type:: e-book

3. Computer Aided Verification

Auteur:: Sharygina, Natasha; Veith, Helmut; Veith, Helmut
Uitgever:: Springer Berlin Heidelberg 2013
Type:: 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

Auteur:: Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

5. Validation of Evolving Software

Auteur:: Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Uitgever:: Springer International Publishing 2015
Type:: e-book