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

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 I
Auteur:
Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram; Trivedi, Ashutosh
Taal:
Engels
Uitgever:
Cham Springer 2025
ISBN:
3-031-82699-X
3-031-82700-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:37345589200041