Search

You searched for: Auteur Sankaranarayanan, Sriram Remove constraint Auteur: Sankaranarayanan, Sriram
1 - 6 of 6
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. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book
4. Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
thumbnail
Full text!
Author:
S. Akshay; Niemetz, Aina; Sankaranarayanan, Sriram
Publisher:
Springer Nature 2025
Format:
e-book
5. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
thumbnail
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book
6. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
thumbnail
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book