Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings - Hermenegildo, Manuel V. (Springer, 2023)