Toggle navigation
bib.howest.be
Publications from another library?
Databases
Contact & Opening hours
EN
NL
Search in
All fields
Title
Author
Subject
for
Search...
Search
Toggle facets
Limit your search
Format
e-book
2
Access
online
2
Language
English
2
Search
You searched for:
Auteur
Trivedi, Ashutosh
Remove constraint Auteur: Trivedi, Ashutosh
1
-
2
of
2
Sort by relevantie
relevantie
jaar
auteur
titel
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
200
per page
Search Results
1.
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book
2.
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Full text!
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Publisher:
Cham Springer 2025
Format:
e-book
