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

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 I
Author:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Language:
English
Publisher:
Cham Springer 2025
ISBN:
3-031-82699-X
3-031-82700-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:37345589200041?locale=en