Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /
by:
(1998 :); Dimitrova, Rayna.; Lahav, Ori.; SpringerLink (Online service); Wolff, Sebastian.
(Language materials, printed)
