Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro

International delivery dates are estimates; customs processing is outside our control. Any duties are the customer’s responsibility, and the carrier will contact you if payment is required.