Zoeken

U zocht naar: Auteur Shankaranarayanan, Krishna. Filter Auteur: Shankaranarayanan, Krishna. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
thumbnail
Full text!
Auteur:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:
Cham Springer 2025
Type:
e-book
2. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
thumbnail
Full text!
Auteur:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Uitgever:
Cham Springer 2025
Type:
e-book