Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Full text!
Type:
e-book
Titel:
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Auteur:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Taal:
Engels
Uitgever:
Cham Springer 2025
ISBN:
3-031-82702-3
3-031-82703-1
Permalink:
http://bibtest.howest.be/catalog/ebk03:37345592500041