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