Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Dragoi, Cezara. (Springer, 2023)