Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part I /
by:
(1998 :); Sankaranarayanan, Sriram.; Shankaranarayanan, Krishna.; SpringerLink (Online service); Trivedi, Ashutosh.
(Electronic resources)
Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part II /
by:
(1998 :); Sankaranarayanan, Sriram.; Shankaranarayanan, Krishna.; SpringerLink (Online service); Trivedi, Ashutosh.
(Electronic resources)
