Trivedi, Ashutosh.

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: Shankaranarayanan, Krishna.; Trivedi, Ashutosh.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram.; Trivedi, Ashutosh. (Language materials, printed)