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

Full text!
Format:
e-book
Title:
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Language:
English
Publisher:
Cham Springer 2025
ISBN:
3-031-82702-3
3-031-82703-1
Permalink:
http://bibtest.howest.be/catalog/ebk03:37345592500041?locale=en