You are about to access our book library "Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... ... Notes in Computer Science Book 14499) full version"
.