Verification, model checking, and abstract interpretation = 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.. Part II /
by:
VMCAI (Conference) (2024 :); Dimitrova, Rayna.; Lahav, Ori.; Wolff, Sebastian.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation = 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.. Part I /
by:
VMCAI (Conference) (2024 :); Dimitrova, Rayna.; Lahav, Ori.; Wolff, Sebastian.; SpringerLink (Online service)
(Electronic resources)
